Similar Items: Directed Homotopy in Non-Positively Curved Spaces
- Modalities in homotopy type theory
- Cellular Cohomology in Homotopy Type Theory
- 2-adjoint equivalences in homotopy type theory
- On the Nielsen-Schreier Theorem in Homotopy Type Theory
- Canonicity and homotopy canonicity for cubical type theory
- Homotopy type theory as a language for diagrams of $infty$-logoses