nLab
unitary morphism

Contents

Definition

In a †-category CC, a morphism f:xyf : x \to y is said to be unitary if it is invertible and its inverse f 1f^{-1} is its dagger f f^{\dagger}:

f 1=f :yx. f^{-1} = f^\dagger\colon y \to x \,.

For more details, see the entry †-category.

Examples

Revised on November 13, 2011 10:02:05 by Toby Bartels (139.55.238.24)