Timeline for Small objects in categories
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4, 2014 at 1:36 | comment | added | Zhen Lin | @DavidWhite It is rather unfair to say that the theory of smallness was developed by model categorists. There is the work of Grothendieck et al. [SGA4], Gabriel and Ulmer, Makkai and Paré, Adámek and Rosický... | |
| Jan 3, 2014 at 23:51 | comment | added | Qiaochu Yuan | This question is about an intuitive notion of smallness rather than a technical notion, e.g. the intuition that schemes of finite types are the "small" objects in schemes. The OP wants a notion that makes this intuition precise. | |
| Jan 3, 2014 at 20:45 | comment | added | Marci | Thank you! I would like to see some kind of a universal way to pick out "small" objects (=finitely presented or finitely built or things like that) from a category. | |
| Jan 3, 2014 at 19:21 | comment | added | David White | @PhilippeGaucher: Thanks for posting, and for including that section in your paper. I was not aware of it till now. | |
| Jan 3, 2014 at 18:24 | comment | added | Philippe Gaucher | There are also some facts about $\Delta$-generated spaces not in your references in Section 2 of my paper Homotopical interpretation of globular complex by multipointed d-space. | |
| Jan 3, 2014 at 16:42 | history | answered | David White | CC BY-SA 3.0 |