Similar Items: 2-adjoint equivalences in homotopy type theory
- Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
- Modalities in homotopy type theory
- Cellular Cohomology in Homotopy Type Theory
- On the Nielsen-Schreier Theorem in Homotopy Type Theory
- Canonicity and homotopy canonicity for cubical type theory
- Transpension: The Right Adjoint to the Pi-type