# 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}^{†}$:

${f}^{-1}={f}^{†}:y\to x\phantom{\rule{thinmathspace}{0ex}}.$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)