Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

A morphism $f:hom_A(a,b)$ of a dagger precategory $A$ is a **dagger monomorphism** if $f^\dagger \circ f=1_a$.

- Chris Heunen, Andre Kornell, Axioms for the category of Hilbert spaces (arXiv:2109.07418)

category: category theory