back
1 comments
Part 2: Symmetries and semicartesian cubes

https://home.sandiego.edu/~shulman/papers/hott-cmu-day2.pdf