Timeline for How to view $\textbf{Sh}(\textbf{CartSp})/X$ as "space" in its own right, étale machinery from abstract nonsense perspective for smooth manifolds
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 14, 2017 at 9:37 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Apr 14, 2017 at 9:01 | answer | added | Artur Jackson | timeline score: 1 | |
| Feb 1, 2017 at 20:49 | comment | added | KeD | @DenisNardin I am familiar with space-like Grothendieck toposes. I'm good with open sets being subobjects of the terminal object, but I would like this to be restated in terms of probes since that would (hopefully) be more spatially intuitive | |
| Feb 1, 2017 at 18:05 | comment | added | Denis Nardin | I think you might be trying too many things as the same time. Are you comfortable with the notion of (Grothendieck) topos as a space-like thing? The "open sets" of a topos are the subobjects of the terminal object. This makes a lot more sense if you think of the topos associated to a topological space. | |
| Feb 1, 2017 at 17:59 | history | asked | KeD | CC BY-SA 3.0 |