Category equipped with involution
In category theory, a branch of mathematics, a dagger category (also called involutive category or category with involution[1][2]) is a category equipped with a certain structure called dagger or involution. The name dagger category was coined by Peter Selinger.[3]
- ^ Cite error: The named reference
Burgin was invoked but never defined (see the help page).
- ^ Cite error: The named reference
Lambek was invoked but never defined (see the help page).
- ^ Cite error: The named reference
Selinger was invoked but never defined (see the help page).