Categories for the practising physicist
By Bob Coecke, É. O. Paquette. 2009
142 citations recorded by the source corpus.
In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are particularly relevant for quantum foundations and for quantum informatics. Special attention is given to the category which has finite dimensional Hilbert spaces as objects, linear maps as morphisms, and the tensor product as its monoidal structure (FdHilb). We also provide a detailed discussion of the category which has sets as objects, relations as morphisms, and the cartesian product as its monoidal structure (Rel), and thirdly, categories with manifolds as objects and cobordisms between these as morphisms (2Cob). While sets, Hilbert spaces and manifolds do not share any non-trivial common structure, these three categories are in fact structurally very similar. Shared features are diagrammatic calculus, compact closed structure and particular kinds of internal comonoids which play an important role in each of them. The categories FdHilb and Rel moreover admit a categorical matrix calculus. Together these features guide us towards topological quantum field theories. We also discuss posetal categories, how group representations are in fact categorical constructs, and what strictification and coherence of monoidal categories is all about. In our attempt to complement the existing literature we omitted some very basic topics. For these we refer the reader to other available sources.
Subfields: Algebra and Number Theory, Atomic and Molecular Physics, and Optics, Mathematical Physics
View Paper: https://www.semanticscholar.org/paper/bbea00f69793634a12e1123478caf374ccdd3c6d
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Algebra and Number Theory
In Atomic and Molecular Physics, and Optics
In Mathematical Physics
Citations in the corpus
- Quantum picturalism (2009, background): “To give two examples: • Taking sets as objects, relations as morphisms, the cartesian product as tensor, and relational converse as the dagger, results in a dagger compact category Rel [23].”
- Interacting quantum observables: categorical algebra and diagrammatics (2009, methodology): “Some tutorials with a focus on symmetric monoidal categories and corresponding diagrammatic calculi intended for physicists are now available [3,4, 12 ,38].”