Involutive categories and monoids, with a GNS-correspondence

DOI10.1007/s10701-011-9595-7zbMath1259.81032arXiv1003.4552MaRDI QIDQ1929298

Bart Jacobs

Publication date: 7 January 2013

Published in: Foundations of Physics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1003.4552

zbMATH Keywords

involution; monoidal category; inner products; Gelfand-Naimark-Segal

Mathematics Subject Classification ID

46C05: Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product)

46L60: Applications of selfadjoint operator algebras to physics

81R15: Operator algebra methods applied to problems in quantum theory

06F05: Ordered semigroups and monoids

46K05: General theory of topological algebras with involution

55T20: Eilenberg-Moore spectral sequences

Related Items

Involutive categories, colored $\ast$-operads and quantum field theory, Inversion, Iteration, and the Art of Dual Wielding, Reversible monadic computing, Homotopy theory of net representations, Compositional quantum field theory: An axiomatic presentation, Smooth 1-dimensional algebraic quantum field theories, A skeletal model for \(2\mathrm{d}\) conformal AQFTs, BRST reduction of quantum algebras with \(^*\)-involutions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dagger categories of tame relations
• Bar categories and star operations
• Two-dimensional monad theory
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Categorical logic and type theory
• Nuclear and trace ideals in tensored \(^*\)-categories
• The formal theory of monads
• Categorical quantum mechanics
• Coalgebraic Components in a Many-Sorted Microcosm
• Coalgebraic Walks, in Quantum and Turing Computation
• Dagger Categories and Formal Distributions
• The Microcosm Principle and Concurrency in Coalgebra
• Category Theory
• Closed categories generated by commutative monads
• Bilinearity and Cartesian Closed Monads.