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