Timeline for Models of the Kock-Lawvere axioms
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 1, 2023 at 9:46 | comment | added | Nico | My favourite models are those in algebraic geometry, because I think it is extremely cool that there is a part of differential geometry that can be abstracted away from smooth manifolds (the well-adapted models) and algebraic geometry and works equally well for both. | |
| Oct 11, 2022 at 1:35 | vote | accept | Alec Rhea | ||
| Oct 10, 2022 at 3:24 | history | became hot network question | |||
| Oct 9, 2022 at 22:59 | answer | added | user44143 | timeline score: 9 | |
| Oct 9, 2022 at 19:18 | history | asked | Alec Rhea | CC BY-SA 4.0 |