Discussion between Lawrence and Krist…
Imported from a comment discussion on https://philosophy.stackexchange.com/questions/123367/why-did-voevodsky-choose-type-over-category/123373#123373
140d ago – Kristian Berry
2
export all events for this room