Homotopy Type Theory
lower type > history
Redirected from "homotopy equivalence".
<
lower set
category:
redirected to nlab