Homotopy Type Theory
opposite preorder > history
<
opposite preorder
category:
redirected to nlab