Categories for the Practising Physicist
From MaRDI portal
Abstract: 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.
Recommendations
- Introducing categories to the practicing physicist
- Introduction to the basic category theory
- Categories and physics
- Categories for Quantum Theory
- scientific article; zbMATH DE number 2066898
- A survey of graphical languages for monoidal categories
- Monoidal categories, symmetries, and compound physical systems
- Introductory lectures on topological quantum field theory
- Physics, Topology, Logic and Computation: A Rosetta Stone
- On `categories' of quantum field theories
Cited in
(44)- The geometry of tensor calculus. I
- Generalized relations in linguistics \& cognition
- Towards a unified framework for decomposability of processes
- A diagrammatic derivation of the Hermitian adjoint
- Combinatorial bitstring semantics for arbitrary logical fragments
- Categorical algebra for continuum micro physics
- A category theoretical interpretation of discretization in Galerkin finite element method
- A graphical calculus for semi-groupal categories
- A complete graphical calculus for Spekkens' toy bit theory
- Phase groups and the origin of non-locality for qubits
- Graphical calculus for quantum key distribution (extended abstract)
- The future (and past) of quantum theory after the Higgs boson: a quantum-informational viewpoint
- ``Keep definition, change category -- a practical approach to state-based system calculi
- Categories and physics
- Physics, Topology, Logic and Computation: A Rosetta Stone
- A survey of graphical languages for monoidal categories
- A prehistory of \(n\)-categorical physics
- A mathematical theory of resources
- Categories for dynamic epistemic logic
- Introducing categories to the practicing physicist
- Causal categories: relativistically interacting processes
- Picturing classical and quantum Bayesian inference
- scientific article; zbMATH DE number 589690 (Why is no real title available?)
- scientific article; zbMATH DE number 2066898 (Why is no real title available?)
- A Compositional Framework for Passive Linear Networks
- Compositional quantum logic
- The Mathematics of Text Structure
- Operational axioms for diagonalizing states
- A bestiary of sets and relations
- Deriving dagger compactness
- Introduction to the basic category theory
- A categorical reconstruction of quantum theory
- Categories for Quantum Theory
- Beyond Bell's theorem. II: Scenarios with arbitrary causal structure
- On the Pre- and Promonoidal Structure of Spacetime
- An alternative foundation of quantum theory
- Categorical composable cryptography: extended version
- A diagrammatic view of differential equations in physics
- An electrical engineering perspective on naturality in computational physics
- Some mathematical issues regarding a new approach toward quantum foundations
- Density matrices for metaphor understanding
- A rudimentary theory of topological 4D gravity
- Sentence entailment in compositional distributional semantics
- Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N
This page was built for publication: Categories for the Practising Physicist
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000921)