#
nLab
dagger monomorphism

Contents
# Contents

## Definition

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

## See also

## References

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

Created on June 7, 2022 at 18:51:29.
See the history of this page for a list of all contributions to it.