Discussion between Lawrence and Kristian Berry
Imported from a comment discussion on https://philosophy.stackexchange.com/questions/123367/why-did-voevodsky-choose-type-over-category/123373#123373
| first message | 2025-03-10 |
| last message | 125 days ago |
view transcript
2