Timeline for Equivalence between geometric theories and frames internal to the free topos
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 8, 2022 at 13:37 | comment | added | David Roberts♦ | The videos for Joyal's lectures are in this playlist: youtube.com/playlist?list=PLx5f8IelFRgFjhhrWWl96sRSClcG5YIx6 And the abstract for lecture 3 mentions the result the OP is interested in. | |
| Nov 8, 2022 at 13:36 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
added 109 characters in body
|
| Nov 8, 2022 at 13:23 | history | edited | Alec Rhea |
question was already bumped, added top level tag
|
|
| Feb 9, 2022 at 13:11 | vote | accept | user1022117 | ||
| Feb 9, 2022 at 12:49 | history | edited | Ivan Di Liberti |
edited tags
|
|
| Feb 9, 2022 at 10:36 | answer | added | Ivan Di Liberti | timeline score: 11 | |
| Feb 8, 2022 at 20:34 | answer | added | Simon Henry | timeline score: 10 | |
| Feb 8, 2022 at 17:31 | history | asked | user1022117 | CC BY-SA 4.0 |