Homotopy Type Theory
infinitesimal shape > history
<
infinitesimal shape modality
category:
redirected to nlab