Timeline for Phenomena of topos
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 2, 2023 at 16:11 | answer | added | Zhen Lin | timeline score: 4 | |
| May 1, 2023 at 13:00 | review | Close votes | |||
| May 7, 2023 at 3:02 | |||||
| May 1, 2023 at 11:25 | comment | added | Tim Campion | It's worth mentioning that @DmitriPavlov 's comment is true but far from obvious. It is a deep theorem of Joyal and Tierney, in their An Extension of the Galois Theory of Grothendieck. | |
| May 1, 2023 at 11:05 | comment | added | Zhen Lin | There’s a construction described in this question for “cheap nonstandard analysis”. | |
| May 1, 2023 at 9:43 | answer | added | Neil Strickland | timeline score: 5 | |
| May 1, 2023 at 4:25 | answer | added | David Roberts♦ | timeline score: 5 | |
| Apr 30, 2023 at 22:06 | answer | added | Tim Campion | timeline score: 4 | |
| Apr 30, 2023 at 22:05 | history | made wiki | Post Made Community Wiki by Tim Campion | ||
| Mar 16, 2023 at 20:40 | comment | added | Alec Rhea | Cmon', guys -- the category of sets is coke classic for topoi. After that I have no idea. | |
| Mar 13, 2023 at 12:21 | comment | added | R. van Dobben de Bruyn | The premise of the question seems weird to me. This makes about as much sense as "what is your favourite topological space", to which anyone who actually works with topological spaces can never provide an answer. | |
| Mar 13, 2023 at 6:02 | comment | added | David Roberts♦ | Keeping only to Grothendieck toposes rules out a bunch of interesting examples, but its not clear what your motivation and goal is, though i imagine this is informing your restriction to that case. Can you say more? In any case, if this is a [big-list] example question, it should be CW-ised. | |
| Mar 13, 2023 at 4:38 | comment | added | Dmitri Pavlov | Your two examples are essentially all there is: any Grothendieck topos is equivalent to the topos of sheaves of sets on a localic groupoid, a mild generalization of topological groupoids. | |
| Mar 13, 2023 at 1:58 | history | asked | user234212323 | CC BY-SA 4.0 |