Timeline for Why do sheaves embed in presheaves?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 1, 2017 at 19:07 | comment | added | Tim Campion | I've always found it similarly striking that the free completion of $C$ under $J$-colimits for some class $J$ of small diagrams is always computed as a full subcategory of the category of presheaves on $C$, namely the closure of the representables under $J$-colimits. | |
| Dec 1, 2017 at 10:22 | answer | added | Simon Henry | timeline score: 5 | |
| Dec 1, 2017 at 6:44 | vote | accept | eon | ||
| Dec 1, 2017 at 6:32 | answer | added | Qiaochu Yuan | timeline score: 8 | |
| Dec 1, 2017 at 6:30 | comment | added | David Roberts♦ | The adjoint functor theorem... | |
| Dec 1, 2017 at 1:42 | comment | added | Yosemite Sam | Is it easy to see from this point of view that PSh ---> Sh is a localization? In the sense that there is an adjoint which is fully faithful (there might even be a slicker way of phrasing this). | |
| Nov 30, 2017 at 23:43 | review | First posts | |||
| Dec 1, 2017 at 0:02 | |||||
| Nov 30, 2017 at 23:43 | history | asked | eon | CC BY-SA 3.0 |