Category:Dagger categories: Difference between revisions

Content deleted Content added

Inline

Revision as of 00:21, 28 September 2006

Dagger categories are categories equipped with an involutive, identity-on-object contravariant functor called the 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.

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.

Revision as of 00:21, 28 September 2006 edit InXistant (talk \| contribs) 326 edits No edit summary ← Previous edit		Revision as of 00:21, 28 September 2006 edit undo InXistant (talk \| contribs) 326 edits No edit summary Next edit →
Line 1:		Line 1:
	[[Dagger categories]] are [[category (mathematics) \| categories]] equipped with an involutive, identity-on-object [[functor]] called the ''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.		[[Dagger categories]] are [[category (mathematics) \| categories]] equipped with an involutive, identity-on-object [[contravariant functor]] called the ''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.

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