#
nLab
dagger epimorphism

Contents
# Contents

## Definition

A morphism $f:hom_A(a,b)$ of a dagger category $A$ is a **dagger epimorphism** if $f \circ f^\dagger=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:53:46.
See the history of this page for a list of all contributions to it.