English

Measure theory over boolean toposes

Category Theory 2016-09-07 v1 Operator Algebras

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.

Keywords

Cite

@article{arxiv.1411.1605,
  title  = {Measure theory over boolean toposes},
  author = {Simon Henry},
  journal= {arXiv preprint arXiv:1411.1605},
  year   = {2016}
}

Comments

23 pages

R2 v1 2026-06-22T06:49:57.663Z