Similar Items: On the Nielsen-Schreier Theorem in Homotopy Type Theory
- Modalities in homotopy type theory
- Cellular Cohomology in Homotopy Type Theory
- Canonicity and homotopy canonicity for cubical type theory
- 2-adjoint equivalences in homotopy type theory
- Homotopy type theory as a language for diagrams of $infty$-logoses
- Relating homotopy equivalences to conservativity in dependent type theories with computation axioms