Measure theory over Boolean toposes

DOI10.1017/S0305004116000700MaRDI QIDQ5360448zbMATH OpenOpenAlexFDO

Authors Simon Henry

Publication date 28 September 2017

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Topoi (18B25) Set functions and measures on spaces with additional structure (28C99) General theory of (C^*)-algebras (46L05) Automorphisms of selfadjoint operator algebras (46L40)

Abstract: In this paper we develop a notion of measure theory over boolean toposes which is analogous to noncommutative measure theory, i.e. to the theory of von Neumann algebras. This is part of a larger project to study relations between topos theory and noncommutative geometry. The main result is a topos theoretic version of the modular time evolution of von Neumann algebra which take the form of a canonical R+*-principal bundle over any integrable locally separated boolean topos.

Recommendations

• A topos for algebraic quantum theory
• A comparison of two topos-theoretic approaches to quantum theory
• Metric Boolean algebras and constructive measure theory
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• scientific article

Cites work

• W^ *-categories
• A localic theory of lower and upper integrals
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• Monotone complete C^-algebras and generic dynamics
• Proper maps of toposes
• Sheaves in geometry and logic: a first introduction to topos theory
• Theory of operator algebras I.
• Theory of operator algebras. II

Cited in

(5)

• Metric Boolean algebras and constructive measure theory
• Decision procedures for theories of sets with measures
• Boolean Valued and Stone Algebra Valued Measure Theories
• On toposes generated by cardinal finite objects
• Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration

This page was built for publication: Measure theory over Boolean toposes

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