nLab unitary morphism

Contents

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

Last revised on June 7, 2022 at 18:53:54. See the history of this page for a list of all contributions to it.