Timeline for Category theory and set theory: just a different language, or different foundation of mathematics?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 17, 2020 at 16:21 | history | edited | Gerhard Paseman | CC BY-SA 4.0 |
deleted 1 character in body
|
| May 17, 2020 at 16:20 | comment | added | Gerhard Paseman | You're right! I'll go fix it. Gerhard "A Thousand Cusses On SpelCheker" Paseman, 2020.05.17. | |
| May 17, 2020 at 15:44 | comment | added | Andreas Blass | I think "Brauer" was intended to refer to Andrej Bauer. And thanks for mentioning me. | |
| May 17, 2020 at 15:03 | comment | added | Claus | thanks a lot for your answer! I like your suggestion that MO might be the best reference. Thank you also for pointing me to Brauer, Blass, Jerabek. Very much appreciated! | |
| May 17, 2020 at 14:50 | history | answered | Gerhard Paseman | CC BY-SA 4.0 |