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 Selinger.

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 Selinger.