Involutive categories and monoids, with a GNS-correspondence

DOI10.1007/S10701-011-9595-7zbMATH Open1259.81032arXiv1003.4552OpenAlexW2111717017MaRDI QIDQ1929298FDOQ1929298

Bart Jacobs

Publication date: 7 January 2013

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

Abstract: This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is shown how categories of Eilenberg-Moore algebras of involutive monads are involutive, with conjugation for modules and vector spaces as special case. The core of the so-called Gelfand-Naimark-Segal (GNS) construction is identified as a bijective correspondence between states on involutive monoids and inner products. This correspondence exists in arbritrary involutive categories.

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

zbMATH Keywords

involutionmonoidal categoryinner productsGelfand-Naimark-Segal

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (11)

• Reversible monadic computing
• BRST reduction of quantum algebras with \(^*\)-involutions
• Infinite loop G-spaces associated to monoidal G-graded categories
• Title not available (Why is that?)
• An involution on the \(K\)-theory of bimonoidal categories with anti-involution
• Smooth 1-dimensional algebraic quantum field theories
• Compositional quantum field theory: An axiomatic presentation
• Inversion, Iteration, and the Art of Dual Wielding
• Involutive categories, colored $\ast$-operads and quantum field theory
• A skeletal model for \(2\mathrm{d}\) conformal AQFTs
• Homotopy theory of net representations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1929298)