Categorical geometry and integration without points

DOI10.1007/S10485-012-9295-2MaRDI QIDQ2015818zbMATH OpenOpenAlexFDO

Authors Igor Kriz, A. Pultr

Publication date 24 June 2014

Published in Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

Boolean ringscategorical geometrylocalespoint-free measuresSegal space

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Frames, locales (06D22) Category-theoretic methods and results in associative algebras (except as in 16D90) (16B50) Measures on Boolean rings, measure algebras (28A60) Set functions and measures and integrals in infinite-dimensional spaces (Wiener measure, Gaussian measure, etc.) (28C20)

Abstract: The theory of integration over infinite-dimensional spaces is known to encounter serious difficulties. Categorical ideas seem to arise naturally on the path to a remedy. Such an approach was suggested and initiated by Segal in his pioneering article cite{segal}. In our paper we follow his ideas from a different perspective, slightly more categorical, and strongly inspired by the point-free topology. First, we develop a general (point-free) concept of measurability (extending the standard Lebesgue integration when applying to the classical $sigma$-algebra). Second (and here we have a major difference from the classical theory), we prove that every finite-additive function $mu$ with values in $[0,1]$ can be extended to a measure on an abstract $sigma$-algebra; this correspondence is functorial and yields uniqueness. As an example we show that the Segal space can be characterized by completely canonical data. Furthermore, from our results it follows that a satisfactory point-free integration arises everywhere where we have a finite-additive probability function on a Boolean algebra.

Recommendations

• A categorical approach to integration
• scientific article; zbMATH DE number 46499
• A categorical derivation of Lebesgue integration
• Extension of measures: a categorical approach.
• scientific article; zbMATH DE number 1749782

Cites work

• Abstract Probability Spaces and a Theorem of Kolmogoroff
• Algebraic integration theory
• Atomless Parts of Spaces.
• Cozero bases of frames
• Frames and Locales
• Gattungen von lokalen Strukturen
• Gaussian measures in Banach spaces
• scientific article; zbMATH DE number 4079770 (Why is no real title available?)
• scientific article; zbMATH DE number 3721546 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19039 (Why is no real title available?)
• scientific article; zbMATH DE number 1014073 (Why is no real title available?)
• scientific article; zbMATH DE number 1022658 (Why is no real title available?)
• scientific article; zbMATH DE number 5070512 (Why is no real title available?)
• Irving Segal's work on infinite dimensional integration theory
• Metric Boolean algebras and constructive measure theory
• On a representation of lattices
• Realcompact spaces and regular σ -frames
• The multivariate skew-normal distribution
• The point of pointless topology

Cited in

(5)

• scientific article; zbMATH DE number 46499 (Why is no real title available?)
• A categorical approach to integration
• A categorical derivation of Lebesgue integration
• On the differentiation of integrals in measure spaces along filters. II.
• Lebesgue integration on -locales: simple functions

This page was built for publication: Categorical geometry and integration without points

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