## Definition ## A morphism $f:hom_A(a,b)$ of a [[dagger precategory]] $A$ is a **dagger monomorphism** if $f^\dagger \circ f=1_a$. ## See also ## [[Category theory]] ## References ## * Chris Heunen, Andre Kornell, Axioms for the category of Hilbert spaces ([arXiv:2109.07418](https://arxiv.org/abs/2109.07418)) category: category theory