Timeline for Is ${\bf Set}$ the terminal autological topos
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 16, 2020 at 23:11 | comment | added | Alec Rhea | Very interesting, thank you. | |
| Dec 16, 2020 at 23:11 | vote | accept | Alec Rhea | ||
| Dec 16, 2020 at 16:26 | history | answered | Mike Shulman | CC BY-SA 4.0 |