In mathematics, a dagger category is a category C {\displaystyle \mathbb {C} } equipped with an involutive, identity-on-object functor
† : C o p → C {\displaystyle \dagger :\mathbb {C} ^{op}\rightarrow \mathbb {C} }
