Homotopy Type Theory
map in a dagger 2-poset > history
<
map in a dagger 2-poset
category:
redirected to nlab