3 ms·Towards third generation HOTT [pdf]2 points by hackandthink 2y agohackandthink 2y agoPart 2: Symmetries and semicartesian cubes https://home.sandiego.edu/~shulman/papers/hott-cmu-day2.pdf https://home.sandiego.edu/~shulman/papers/hott-cmu-day2.pdf