Contents

# Contents

## Definition

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

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

For more details, see the entry †-category.

## Examples

Last revised on November 13, 2011 at 10:02:05. See the history of this page for a list of all contributions to it.