Measure theory over boolean toposes

DOI10.1017/S0305004116000700zbMath1381.46049arXiv1411.1605OpenAlexW3106146041MaRDI QIDQ5360448

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

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

Related Items (2)

On toposes generated by cardinal finite objects ⋮ Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration

Cites Work

• Unnamed Item
• Unnamed Item
• \(W^ *\)-categories
• Sheaves in geometry and logic: a first introduction to topos theory
• Theory of operator algebras. II
• Monotone complete C *-algebras and generic dynamics
• Proper maps of toposes
• A localic theory of lower and upper integrals
• Theory of operator algebras I.

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