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