Timeline for What do coherent topoi have to do with completeness?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 11, 2022 at 1:42 | comment | added | John Baez | The talk slides must still be available on the WayBack Machine, but I found that now there's a paper with the same title by Frot, on the arXiv. So I've changed the link. | |
| Mar 11, 2022 at 1:40 | history | edited | John Baez | CC BY-SA 4.0 |
fixed broken link
|
| Mar 9, 2022 at 23:31 | comment | added | Alec Rhea | This link is dead, any chance someone has as replacement? | |
| May 6, 2013 at 19:07 | history | answered | John Baez | CC BY-SA 3.0 |