Timeline for Remark 5.4.2.15 in HTT
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 9, 2021 at 20:22 | comment | added | Simon Henry | I don't know if/where this is stated exactly in HTT, but this follows from the fact that an accessible category is generated under colimits by $\kappa$-compact objects and the a small colimits of $\kappa$-compact object is $\kappa'$ compact for any regular cardinal $\geqslant \kappa$ and $>$ the size of the colimit diagram. | |
| Mar 9, 2021 at 20:15 | comment | added | Sil Linskens | So every object in an accessible category is $\kappa$-compact for some $\kappa$? Could you point towards where this is proven in HTT, or am I missing something obvious. | |
| Mar 9, 2021 at 19:29 | vote | accept | Sil Linskens | ||
| Mar 9, 2021 at 17:59 | history | answered | Simon Henry | CC BY-SA 4.0 |