Homotopy Type Theory
dagger epimorphism in a dagger precategory > history
<
dagger epimorphism
category:
redirected to nlab