Homotopy Type Theory
simplicial type > history
<
simplicial set
category:
redirected to nlab