In category theory, a branch of 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.
In category theory, a branch of 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.
Source: Wikipedia "Dagger category" · CC BY-SA 4.0
Share this article: X · Bluesky