Timeline for Lattice of subcategories: subobject classifier in Cat
Current License: CC BY-SA 2.5
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 10, 2010 at 6:03 | history | edited | Bjørn Kjos-Hanssen |
edited tags
|
|
| Jun 25, 2010 at 11:41 | vote | accept | supercooldave | ||
| Jun 21, 2010 at 15:25 | answer | added | Michael A Warren | timeline score: 7 | |
| Jun 21, 2010 at 14:48 | history | edited | supercooldave | CC BY-SA 2.5 |
edited title
|
| Jun 20, 2010 at 20:21 | history | edited | supercooldave | CC BY-SA 2.5 |
added 9 characters in body; added 48 characters in body
|
| Jun 20, 2010 at 19:47 | answer | added | Finn Lawler | timeline score: 3 | |
| Jun 20, 2010 at 19:12 | history | edited | supercooldave | CC BY-SA 2.5 |
Increased depth of question.
|
| Jun 20, 2010 at 12:54 | history | edited | supercooldave | CC BY-SA 2.5 |
Added additional comment.
|
| Jun 20, 2010 at 11:21 | history | edited | supercooldave | CC BY-SA 2.5 |
Added smallness caveat.
|
| Jun 19, 2010 at 20:36 | comment | added | Theo Johnson-Freyd | Be careful. The notion of "subcategory" is deeply problematic. See the nLab page at ncatlab.org/nlab/show/subcategory | |
| Jun 19, 2010 at 16:19 | comment | added | Gerhard Paseman | If you have the good fortune to have a theorem like Birkhoff's HSP theorem, your lattice will be dual to some lattice of something like equational theories are for varieties. Is there even a Galois correspondence between the categories and something else that gives you a similar lattice to study? Gerhard "Ask Me About System Design" Paseman, 2010.06.19 | |
| Jun 19, 2010 at 13:37 | history | edited | supercooldave |
Added topoi tag.
|
|
| Jun 19, 2010 at 12:37 | answer | added | Charles Matthews | timeline score: 0 | |
| Jun 19, 2010 at 12:32 | history | asked | supercooldave | CC BY-SA 2.5 |