†-category: Hilb

Hilb is a †-category. Composition in Hilb can happen in either direction; every arrow can interchange its source and target objects freely.

The core of Hilb is the groupoid Hilb₀:

The unitary arrows of Hilb are the arrows of Hilb₀; they are unitary operators.

dagger_categories: Hilb

This data as json