Category:Dagger categories

Dagger categories are categories equipped with an involutive, identity-on-object functor. 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 all the pages related to this topic at the confluence of category theory, quantum mechanics and quantum computing.