## Definition ## A morphism $f:hom_A(a,b)$ of a [[dagger precategory]] $A$ is a **dagger epimorphism** if $f \circ f^\dagger=1_a$. ## See also ## [[Category theory]] category: category theory