Involutive categories and monoids, with a GNS-correspondence

DOI10.1007/s10701-011-9595-7zbMath1259.81032arXiv1003.4552OpenAlexW2111717017MaRDI 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

involutionmonoidal categoryinner productsGelfand-Naimark-Segal

Mathematics Subject Classification ID

Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05) Applications of selfadjoint operator algebras to physics (46L60) Operator algebra methods applied to problems in quantum theory (81R15) Ordered semigroups and monoids (06F05) General theory of topological algebras with involution (46K05) Eilenberg-Moore spectral sequences (55T20)

Related Items (8)

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

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.

This page was built for publication: Involutive categories and monoids, with a GNS-correspondence