Homotopy Type Theory
directed-complete poset > history
<
directed-complete poset
category:
redirected to nlab