Timeline for Does there exist a geometric morphism between the effective and topological topoi? Does one arise from synthetic topology?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 15 at 20:21 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
deleted 1 character in body
|
| Apr 15 at 17:36 | vote | accept | Garrett Figueroa | ||
| Apr 14 at 16:05 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 2 characters in body
|
| Apr 14 at 15:43 | history | edited | Sam Hopkins | CC BY-SA 4.0 |
added 2 characters in body
|
| Apr 14 at 15:35 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 561 characters in body
|
| Apr 14 at 15:28 | history | answered | Andrej Bauer | CC BY-SA 4.0 |