A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES

DOI10.1017/JSL.2022.85MaRDI QIDQ6103450zbMATH OpenOpenAlexFDO

Authors Ruiyuan Chen

Publication date 5 June 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

\(\kappa\)-complete Boolean algebracategorical logicextensive categorystandard Borel space

Mathematics Subject Classification ID

Descriptive set theory (03E15) Categorical logic, topoi (03G30) Generalizations of Boolean algebras (06E75) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Abstract: We prove that the category $mathsfSBor$ of standard Borel spaces is the (bi-)initial object in the 2-category of countably complete Boolean (countably) extensive categories. This means that $mathsfSBor$ is the universal category admitting some familiar algebraic operations of countable arity (e.g., countable products, unions) obeying some simple compatibility conditions (e.g., products distribute over disjoint unions). More generally, for any infinite regular cardinal $kappa$, the dual of the category $kappamathsf{Bool}_{k}appa$ of $kappa$-presented $kappa$-complete Boolean algebras is (bi-)initial in the 2-category of $kappa$-complete Boolean ($kappa$-)extensive categories.

Cites work

• \(\kappa\)-frames
• A characterisation of the category of compact Hausdorff spaces
• Adjointness in foundations
• Amalgamation and epimorphisms in m complete Boolean algebras
• Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
• Categorical logic and type theory
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• First Steps in Descriptive Theory of Locales
• scientific article; zbMATH DE number 4079713 (Why is no real title available?)
• scientific article; zbMATH DE number 3654118 (Why is no real title available?)
• scientific article; zbMATH DE number 3656176 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• Introduction to extensive and distributive categories
• Lex colimits
• Quasi-Polish spaces
• Spatiality of countably presentable locales (proved with the Baire category theorem)
• Towards a descriptive theory of cb\(_{0}\)-spaces
• Two-dimensional monad theory

Cited in

(2)

• Categories of abstract and noncommutative measurable spaces
• Universal spaces of non-separable absolute Borel classes

This page was built for publication: A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES

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