Timeline for Every Grothendieck topos can be built from localic topoi
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 26, 2022 at 17:04 | vote | accept | user477332 | ||
| Feb 19, 2022 at 16:06 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
gave human-readable reference to Lurie notes (please avoid url-only references, don’t cause link rot!)
|
| Feb 18, 2022 at 23:58 | history | became hot network question | |||
| Feb 18, 2022 at 16:54 | answer | added | Zhen Lin | timeline score: 12 | |
| Feb 18, 2022 at 16:26 | answer | added | Tim Campion | timeline score: 11 | |
| S Feb 18, 2022 at 15:55 | review | First questions | |||
| Feb 18, 2022 at 16:36 | |||||
| S Feb 18, 2022 at 15:55 | history | asked | user477332 | CC BY-SA 4.0 |