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
142d ago – Kristian Berry
2
export all events for this room
Bookmarked conversations in this room
No conversations have been bookmarked for this room yet. Users with at least 100 reputation
can create a link to a group of messages by bookmarking a new conversation.