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