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