Homotopy Type Theory
rationalization of a simply connected type > history
<
rationalization
category:
redirected to nlab