Category:Dagger categories: Difference between revisions

Content deleted Content added

Inline

Latest revision as of 01:11, 3 April 2023

Dagger categories are categories equipped with an involutive, identity-on-object contravariant functor called dagger and denoted as $\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 (c.f. categorical quantum mechanics and categorical quantum computing).

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

The following 6 pages are in this category, out of 6 total. This list may not reflect recent changes.

@@ Line 1: / Line 1: @@
-[[Dagger categories]] are [[category (mathematics) | categories]] equipped with an involutive, identity-on-object [[contravariant functor | contravariant]] [[functor]] called ''dagger'' and denoted as <math>\dagger</math>. Of special interest are [[Dagger compact categories]], a particular form of [[dagger categories]]) elaborated in order to recast [[quantum mechanics | quantum mechanical]] formalism and quantum information flow in a [[category theory | category theoretic]] context (c.f. [[categorical quantum mechanics]] and [[categorical quantum computing]]).
+[[Dagger categories]] are [[category (mathematics) | categories]] equipped with an involutive, identity-on-object [[contravariant functor | contravariant]] [[functor]] called ''dagger'' and denoted as <math>\dagger</math>. Of special interest are [[Dagger compact categories]] (a particular form of [[dagger categories]]) elaborated in order to recast [[quantum mechanics | quantum mechanical]] formalism and quantum information flow in a [[category theory | category theoretic]] context (c.f. [[categorical quantum mechanics]] and [[categorical quantum computing]]).
 Below are pages related to this topic at the confluence of [[quantum mechanics]], [[quantum computing]] with main focus in [[category theory]].
+{{Cat more|Dagger category}}
+[[Category:Category theory]]