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