nLab
dagger-category

\dagger-categories

Idea

The definition of a category effectively enforces an ordering on the “0-faces” – the source and target objects – of every 1-cell (every morphism). In many cases this is essential, in that there is no way to regard the generic morphism afba \stackrel{f}{\to} b in the category as a morphism from bb to aa instead.

But there are many categories for which this is not the case, where every morphism naturally only comes with the information of an unordered pair {a,b}\{a,b \} of objects, without any prejudice on which is to be regarded as source and which as target. An important general example is:

  • the category Spans(C)Spans(C) of spans in a category CC with pullbacks, or dually, the category CoSpans(C)CoSpans(C) of cospans in a category CC with pushouts.

More concrete examples are:

  • categories of cobordisms (but notice that cobordisms are naturally regarded as cospans which makes this a special case of the above example);

  • the category Hilb of Hilbert spaces, where for every linear map f:H 1H 2f : H_1 \to H_2 we also have the adjoint map (in the sense of Hilbert spaces, not in the categorical sense) f :H 2H 1f^\dagger : H_2 \to H_1 (but notice that according to groupoidification this is also essentially to be regarded as a special case of categories of spans).

A dagger structure on a category is extra structure which encodes the idea of removing the ordering information on the 0-faces of 1-cells in a category: it is is a contravariant functor which sends every morphism f:abf : a \to b to a morphims going the other way, f :baf^\dagger : b \to a.

The notation and terminology here is motivated from the example Hilb of Hilbert spaces, where f f^\dagger is traditionally the notion for the adjoint of a linear map ff. The canonical †-structure on Hilb and on nCob is crucial in quantum field theory where it is used to encode the idea of unitarity:

a unitary functorial QFT of dimension nn is supposed to be a functor nCobHilbn Cob \to Hilb which respects the †-structure on both sides.

Definition

Dagger categories

A dagger category, or †-category, is a category CC equipped with a contravariant endofunctor, hence an ordinary functor from the opposite category C opC^{op} of CC to CC itself

:C opC \dagger : C^{op} \to C

which

  1. is the identity on objects,

  2. is an involution =id C\dagger \circ \dagger = \mathrm{id}_C.

Note that regarded as an extra structure on categories, a †-structure is evil, since it imposes equations on objects.

Special morphisms

Definition

A morphism ff in a †-category is called unitary morphism if its †-adjoint equals its inverse:

f =f 1. f^\dagger = f^{-1} \,.

For the purpose of considering what makes two objects of a \dagger-category equivalent, one should not consider all isomorphisms (invertible morphisms) but rather all unitary isomorphisms.

The unitary isomorphisms form a groupoid, which may be regarded as the dagger-core of the \dagger-category.

For example, in Hilb, there are many invertible linear operators, but only those of norm 11 (the invertible isometries) are unitary.

Definition

A morphism ff in a †-category is called a self-adjoint morphism if it equals its †-adjoint

f =f. f^\dagger = f \,.

The category of †-categories

A morphism F:(C,)(D,)F : (C, \dagger) \to (D, \ddagger) of †-categories – a †-functor – is a functor F:CDF : C \to D of the underlying categories, which commutes with the †-structures in that

F=F. F \circ \dagger = \ddagger \circ F \,.

A natural transformation between †-functors is just a natural transformation of the underlying functors.

Definition

The †-adjoint η *\eta^* of a natural transformation

η:FG \eta : F \to G

between two †-functors F,G:(C,)(D,)F, G : (C,\dagger) \to (D,\ddagger) is given by the componentwise \ddagger-adjoint:

(η *) a:=(η a) . (\eta^*)_a := (\eta_a)^\ddagger \,.

To check that η *\eta^* is indeed a natural transformation η *:GF\eta^* : G \to F consider f:abf : a \to b any morphism in CC and f :baf^\dagger : b \to a its \dagger-adjoint and let

F(a) η a G(a) F(f ) G(f ) F(b) η b G(b) \array{ F(a) &\stackrel{\eta_a}{\to}& G(a) \\ \uparrow^{\mathrlap{F(f^\dagger)}} && \uparrow^{\mathrlap{G(f^\dagger)}} \\ F(b) &\stackrel{\eta_b}{\to}& G(b) }

be the corresponding naturality square of η\eta. Taking the \ddagger-adjoint of the entire diagram yields

F(a) η a G(a) F(f ) G(f ) F(b) η b G(b)=F(a) η a G(a) F(f) G(f) F(b) η b G(b) \array{ F(a) &\stackrel{\eta_a^\ddagger}{\leftarrow}& G(a) \\ \downarrow^{\mathrlap{F(f^\dagger)^{\ddagger}}} && \downarrow^{\mathrlap{G(f^\dagger)^{\ddagger}}} \\ F(b) &\stackrel{\eta_b^{\ddagger}}{\leftarrow}& G(b) } \;\;\; = \;\;\; \array{ F(a) &\stackrel{\eta_a^\ddagger}{\leftarrow}& G(a) \\ \downarrow^{\mathrlap{F(f)}} && \downarrow^{\mathrlap{G(f)}} \\ F(b) &\stackrel{\eta_b^{\ddagger}}{\leftarrow}& G(b) }

by the fact that FF and GG are †-functors. This is the naturality square over ff of η *:GF\eta^* : G \to F.

Definition

Write DagCatDagCat for the category whose objects are †-categories and whose morphisms are †-functors.

For (C,)(C,\dagger) and (D,)(D,\dagger) two †-categories, write ([(C,),(D,)] dag,)DagCat([(C,\dagger),(D,\ddagger)]_{dag}, \star) \in DagCat for the †-category whose objects are †-functors, whose morphisms are natural transformations, with the †-operation :ηη *\star : \eta \mapsto \eta^* as above.

Proposition

The assignment ((C,),(D,))[(C,),(D,)] dag,)((C,\dagger),(D,\ddagger)) \mapsto [(C,\dagger),(D,\ddagger)]_{dag}, \star) extends to an internal hom-functor

[,]:DagCat op×DagCatDagCat [-,-] : DagCat^{op} \times DagCat \to DagCat

that makes DagCatDagCat into a cartesian closed category.

Proof

This follows step-by-step the standard proof that Cat is cartesian closed, while observing that each step respects the respect for †-structures.

To indicate the main point, let C,DC, D and EE be †-categories and consider a functor F:C×DEF : C \times D \to E. For (f:c 1c 2)C(f : c_1 \to c_2) \in C and (g:d 1d 2)D(g : d_1 \to d_2) \in D we have natural assignments

(c 1,d 1) (Id,g) (c 1,d 2) (f,Id) (f,g) (f,Id) (c 2,d 1) (Id,g) (c 2,d 2)F(c 1,d 1) F(Id,g) F(c 1,d 2) F(f,Id) F(f,Id) F(c 2,d 1) F(Id,g) f(c 2,d 2) \array{ (c_1, d_1) &\stackrel{(Id,g)}{\to}& (c_1, d_2) \\ \downarrow^{\mathrlap{(f,Id)}} &\searrow^{(f,g)}& \downarrow^{\mathrlap{(f,Id)}} \\ (c_2, d_1) &\stackrel{(Id,g)}{\to}& (c_2, d_2) } \;\;\;\;\; \mapsto \;\;\;\;\; \array{ F(c_1, d_1) &\stackrel{F(Id,g)}{\to}& F(c_1, d_2) \\ \downarrow^{\mathrlap{F(f,Id)}} && \downarrow^{\mathrlap{F(f,Id)}} \\ F(c_2, d_1) &\stackrel{F(Id,g)}{\to}& f(c_2, d_2) }

that respect daggering all morphisms, in the evident way.

Keeping d 1d_1 and d 2d_2 fixed, respectively this makes F(,d 1),F(,d 2):CEF(-,d_1), F(-,d_2) : C \to E †-functors. We see from the diagrams that F(,(d 1g)d 2)F(-,(d_1 \stackrel{g}{\to}) d_2) is a natural transformation between these †-functors, and the fact that FF intertwines the dagger operation of DD with that of EE means FF regarded as a functor D[C,E]D \to [C,E] intertwines the †-structures of DD and [D,E] dag[D,E]_{dag}, by the above definition.

Terminology and wording

In Wikipedia dagger category is said to be the same as involutive category or category with involution, but Springer’s Encyclopedy requires for a category with involution additional conditions namely a partial order on the set of morphisms and that the order is compatible with the composition of morphisms.

Examples

  • The category Rel of sets and relations is a †-category, taking dagger as relational converse.

  • More generally, let CC be a category with pullbacks and let Span 1(C)Span_1(C) be the 1-category of spans up to isomorphism: its morphisms are spans with one leg labeled as source, the other labeled as target. Then the functor :Span 1(C) opSpan 1(C)\dagger : Span_1(C)^{op} \to Span_1(C) which just exchanges this labeling is a †-structure on Span 1(C)Span_1(C).

  • (G)\mathcal{R}(G), the category of unitary representations of a (discrete) group GG and intertwining maps, is a †-category. For an intertwiner ϕ:RS\phi : R \rightarrow S, let ϕ :SR\phi^\dagger : S \rightarrow R be the adjoint of ϕ\phi in Hilb.

Variants

Model structure on †-categories

the following is based on a remark by Andre Joyal, posted to the CategoryTheory mailing list on Jan 6, 2010

Consider †-categories from the point of view of homotopy theory.

Recall that the category Cat of small categories naturally admits the model category structure called the folk model structure on Cat.

The category of small †-categories DCatDCat also admits a “natural” model category structure:

  • †-functor f:ABf:A \to B is a weak equivalence iff it is

    • full and faithful;

    • and unitary surjective, meaning that every object of BB is unitary isomorphic to an object in the image of the functor ff;

  • the cofibrations and the trivial fibrations are as in Cat;

  • fibrations are the unitary isofibration: maps having the right lifting property for unitary isomorphisms.

The forgetful functor DCatCatDCat \to Cat is a right adjoint but it is not a right Quillen functor with respect to the natural model structures on these categories.

Moreover, a forgetful functor XStrucCatXStruc \to Cat should reflect weak equivalences in addition to preserving them. The forgetful functor DCatCatDCat\to Cat preserves weak equivalences but it does not reflect them. Because two objects in a †-category can be isomorphic without been unitary isomorphic.

In other words the forgetful functor DCatCatDCat\to Cat is wrong. This may explains why a †-category cannot be regarded as a category equipped a homotopy invariant structure, as discussed in more detail in the example sections of the entry evil.

But the notion of †-category is perfectly reasonable from an homotopy theoretic point of view. This is because the model category DCatDCat is a combinatorial model category. It follows, by a general result, that the notion of of †-category is homotopy essentially algebraic There a homotopy limit sketch whose category of models (in spaces) is Quillen equivalent to the model category DCatDCat. This is true also for the model category Cat.

\dagger-simplicial set

the following is based on a remark by Andre Joyal, posted to the CategoryTheory mailing list on Jan 6, 2010

A †-simplicial set can be defined to be a simplicial set XX equipped with an involutive isomorphism :XX op\dagger :X\to X^{op} which is the identity on 0-cells. The category of †-simplicial sets (and dagger preserving maps) is the category of presheaves on the category whose objects are the ordinals [n][n], but where the maps [m][n][m]\to [n] are order reversing or preserving.

\dagger-Graphs

(,1)(\infty,1)-†-categories

the following is based on a remark by Andre Joyal, posted to the CategoryTheory mailing list on Jan 6, 2010

There should be a notion of †-quasi-category based on \dagger-simplicial sets as ordinary quasi-categories are based on ordinary simplicial sets.

(…)

Properties

Relation to star-algebras

The category convolution algebra of a dagger-category is naturally a star-algebra. The star-involution is given by pullback of functions along the \dagger-functor.

Applications

Quantum mechanics in terms of \dagger-compact categories

Large parts of quantum mechanics and quantum computation are naturally formulated as the theory of \dagger-categories that are also compact closed categories in a compatible way – dagger compact categories.

For more on this see

References

The concept of \dagger-category is discussed here:

  • S. Abramsky and B. Coecke, A categorical semantics of quantum protocols, Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS’04), IEEE Computer Science Press (2004). arXiv

and further abstracted in:

  • P. Selinger, Dagger compact closed categories and completely positive maps, Proceedings of the 3rd International Workshop on Quantum Programming Languages, Chicago, June 30–July 1, 2005. web

The importance of \dagger-categories in quantum theory is discussed here:

  • John Baez, Quantum quandaries: a category-theoretic perspective, in Structural Foundations of Quantum Gravity, eds. Steven French, Dean Rickles and Juha Saatsi, Oxford U. Press, 2006, pp. 240–265. See especially Section 3: The \star-category of Hilbert spaces. (web)

Note that in older literature, the term “\star-category” or “star-category” is sometimes used instead of \dagger-category.

Certain specially nice \dagger-categories, such as C *C^*-categories and modular tensor categories, play an important role in topological quantum field theory and the theory of quantum groups:

  • Jürg Fröhlich and Thomas Kerler, Quantum Groups, Quantum Categories, and Quantum Field Theory, Springer Lecture Notes in Mathematics 1542, Springer-Verlag, Berlin, 1991.

  • Bojko Bakalov and Alexander Kirillov, Jr., Lectures on Tensor Categories and Modular Functors, American Mathematical Society, Providence, Rhode Island, 2001. (web)

Revised on June 8, 2013 21:06:08 by Urs Schreiber (66.46.90.198)