Dagger category

In mathematics, a dagger category (also called involutive category or category with involution) is a category equipped with a certain structure called dagger or involution.

The name dagger category was coined by Peter Selinger.

See also

• *-algebra
• Dagger symmetric monoidal category
• Dagger compact category

External links

• Dagger category @ Wikipedia