A Universal Characterization Of Standard Borel Spaces
Work
Year: 2022
Type: article
Abstract: We prove that the category $\mathsf {SBor}$ of standard Borel spaces is the (bi-)initial object in the 2-category of countably complete Boolean (countably) extensive categories. This means that $\mat... more
Source: Journal of Symbolic Logic
Author Ruiyuan Chen
Cites: 22
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green