Categorical geometry and integration without points

DOI10.1007/s10485-012-9295-2zbMath1293.28002arXiv1101.3762MaRDI QIDQ2015818

Ales Pultr, Igor Kriz

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 rings; locales; Segal space; categorical geometry; point-free measures

Mathematics Subject Classification ID

16B50: Category-theoretic methods and results in associative algebras (except as in 16D90)

03G30: Categorical logic, topoi

06D22: Frames, locales

28C20: Set functions and measures and integrals in infinite-dimensional spaces (Wiener measure, Gaussian measure, etc.)

28A60: Measures on Boolean rings, measure algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Gattungen von lokalen Strukturen
• On a representation of lattices
• Gaussian measures in Banach spaces
• Metric Boolean algebras and constructive measure theory
• Irving Segal's work on infinite dimensional integration theory
• Frames and Locales
• Realcompact spaces and regular σ -frames
• The point of pointless topology
• The multivariate skew-normal distribution
• Algebraic integration theory
• Atomless Parts of Spaces.
• Abstract Probability Spaces and a Theorem of Kolmogoroff
• Cozero bases of frames