Algebra and Coalgebra in Computer Science
From MaRDI portal
Abstract: We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures support a notion of scalar which allows quantitative aspects of physical theory to be expressed, and how the notion of strong compact closure emerges as a significant refinement of the more classical notion of compact closed category. We then proceed to an extended discussion of free constructions for a sequence of progressively more complex kinds of structured category, culminating in the strongly compact closed case. The simple geometric and combinatorial ideas underlying these constructions are emphasized. We also discuss variations where a prescribed monoid of scalars can be "glued in" to the free construction.
Recommendations
- The structure of free closed categories
- Categories of components and loop-free categories
- scientific article; zbMATH DE number 1405668
- Extensions of abelian categories and the strong no-loops conjecture
- Scalar extensions of triangulated categories
- scientific article; zbMATH DE number 4210386
- Free A_-categories
- Compact closed categories and \(\Gamma\)-categories
- A Note on the Category of the Free Loop Space
- scientific article; zbMATH DE number 4156799
Cited in
(25)- String diagrams for traced and compact categories are oriented 1-cobordisms
- The category of matroids
- Some phenomena in tautological rings of manifolds
- Division algebras and quantum theory
- A categorical approach to loops, neardomains and nearfields.
- Categorical properties of the complex numbers
- Strongly compact closed semantics
- De-linearizing linearity: projective quantum axiomatics from strong compact closure
- POVMs and Naimark's theorem without sums
- From coalgebraic to monoidal traces
- Can a quantum computer run the von Neumann architecture?
- Abstract Physical Traces
- Quantum speedup and categorical distributivity
- Logic and geometry of agents in agent-based modeling
- Categories for Quantum Theory
- Abstract tensor systems as monoidal categories
- Semimodule enrichment
- Reversible monadic computing
- Situated transition systems
- The game semantics of game theory
- Compact inverse categories
- On strictifying extensional reflexivity in compact closed categories
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- A link between quantum logic and categorical quantum mechanics
- Quantum circuit oracles for abstract machine computations
This page was built for publication: Algebra and Coalgebra in Computer Science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492810)
