Timeline for Adding $\kappa$-small colimits to essentially small $\infty$ category resulting in a essentially small $\infty$ category
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 15 at 7:59 | vote | accept | XiaYu | ||
| Aug 12 at 16:11 | comment | added | daniel gratzer | @MaximeRamzi Good point! I guess I had it in my head merely to make sense of what it means to "form a category built whose objects are $\kappa$-colimits of objects in $\mathcal{C}$" | |
| Aug 12 at 14:10 | comment | added | Maxime Ramzi | You never specifically use that it lives in $Pr(C)$ :D Your second paragraph simply argues that for any inclusion C -> D, the smallest subcategory of D containing C and closed under k-small colimits is small (which applies to C -> C(k) without needing to know what C(k) "looks like") | |
| Aug 12 at 10:23 | history | answered | daniel gratzer | CC BY-SA 4.0 |