Timeline for Phenomena of topos
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 14 at 12:30 | comment | added | Mendieta | @Neil Strickland, could you give a reference for the fact that $\mathcal{E}^{op}$ is a topos? | |
| May 1, 2023 at 9:49 | comment | added | Zhen Lin | Presumably this is the topos of finite sets equipped with an action of the Galois groupoid? | |
| S May 1, 2023 at 9:43 | history | answered | Neil Strickland | CC BY-SA 4.0 | |
| S May 1, 2023 at 9:43 | history | made wiki | Post Made Community Wiki by Neil Strickland |