All Questions
1 question
68
votes
4
answers
5k
views
Why did Voevodsky consider categories "posets in the next dimension", and groupoids the correct generalisation of sets?
Earlier today, I stumbled upon this article written by V. Voevodsky about the "philosophy" behind the Univalent Foundations program. I had read it before around the time of his passing, and one ...
- 775