Involutive Categories and Monoids, with a GNS-correspondence

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.

References in corpus (1)

• Dagger Categories of Tame Relations

Cited by in corpus (13)

• From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
• Reversible monadic computing
• A skeletal model for 2d conformal AQFTs
• Inversion, Iteration, and the Art of Dual Wielding
• Involutive categories, colored $\ast$-operads and quantum field theory
• Dagger Categories of Tame Relations
• Homotopy theory of net representations
• BRST Reduction of Quantum Algebras with ${}^{\ast }$-Involutions
• Monads on dagger categories
• Frex: dependently-typed algebraic simplification
• Compositional Quantum Field Theory: An axiomatic presentation
• Lorentzian bordisms in algebraic quantum field theory
• Gluing algebraic quantum field theories on manifolds