Homotopy Type Theory
join-semilattice > history
<
join-semilattice
category:
redirected to nlab