Category:Dagger categories

Dagger categories are categories equipped with an involutive, identity-on-object functor called the dagger and denoted as ${\displaystyle \dagger }$. Of special interest are Dagger compact categories, a particular form of dagger categories) elaborated in order to recast quantum mechanical formalism and quantum information flow in a category theoretic context.

Below are pages related to this topic at the confluence of quantum mechanics, quantum computing with main focus in category theory.