Timeline for Compact object and compact generator in a category
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 25, 2020 at 8:48 | comment | added | Denis Nardin | The trick for stable ∞-categories is that if $x$ is a compact object, the functor $\mathrm{map}_{\mathcal{C}}(x,-)$ automatically preserves all colimits (since it's always exact, as it preserves all limits). Note that here it's really important that we work with the mapping spectrum, and not just the mapping space. | |
| Nov 25, 2020 at 7:51 | history | edited | Qiaochu Yuan | CC BY-SA 4.0 |
added 35 characters in body
|
| Nov 25, 2020 at 7:10 | history | edited | Qiaochu Yuan | CC BY-SA 4.0 |
added 42 characters in body
|
| Nov 25, 2020 at 7:01 | history | edited | Qiaochu Yuan | CC BY-SA 4.0 |
deleted 3 characters in body
|
| Nov 25, 2020 at 6:56 | history | answered | Qiaochu Yuan | CC BY-SA 4.0 |