Homotopy Type Theory left adjoint > history

Redirected from "autoequivalences".

< left adjoint

category: redirected to nlab