Dagger category

In category theory, a "dagger category" is a type of category equipped with an involutive, contravariant functor known as a dagger operation. A dagger category consists of the following components: 1. **Objects and Morphisms**: Like any category, a dagger category has objects and morphisms (arrows) between these objects.