by hackandthink·1y ago·view on hn ↗Part 2: Symmetries and semicartesian cubeshttps://home.sandiego.edu/~shulman/papers/hott-cmu-day2.pdf