Timeline for Lawvere's "Some thoughts on the future of category theory."
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 2, 2014 at 21:48 | comment | added | Urs Schreiber | Just one cautionary remark: sheaves on loci is not a cohesive topos and presheaves on loci does not have the right mapping spaces. (What is cohesive is the topos of sheaves on the subcategory of loci of the form a smooth manifold times an infinitesimally thickened point -- formal manifolds --, this is the "Cahier topos" ncatlab.org/nlab/show/Cahiers+topos .) Sheaves on all loci is a "smooth topos", though, a model for synthetic differential geometry. There are two different threads in thinking here which are related but different, "cohesion" and "synthetic differential geometry". | |
| Jan 2, 2014 at 6:13 | history | answered | user44143 | CC BY-SA 3.0 |