Homotopy Type Theory
entire relation > history
<
entire relation
category:
redirected to nlab