In a †-category , a morphism is said to be unitary if it is invertible and its inverse is its dagger :
For more details, see the entry †-category.
The unitary morphisms in Hilb are the ordinary unitary operators between Hilbert spaces
In particular the unitary automorphisms of an object in form the unitary group.
The unitary morphisms in Rel are the ordinary bijectionss between sets
In particular the unitary automorphisms of an object in form the permutation group.
unitary morphism
Last revised on June 7, 2022 at 18:53:54. See the history of this page for a list of all contributions to it.