[[!redirects equivalence]] [[!redirects homotopy equivalence]] [[!redirects equivalences]] [[!redirects bijective correspondence]] [[!redirects bijective correspondences]] < [[nlab:equivalence in homotopy type theory]] category: redirected to nlab