Homotopy Type Theory
left adjoint > history
Redirected from "autoequivalences".
<
left adjoint
category:
redirected to nlab