A universal characterization of standard Borel spaces
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914714824474624 |
|---|---|
| author | Chen, Ruiyuan |
| author_facet | Chen, Ruiyuan |
| contents | 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 $\mathsf{SBor}$ 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 $κ$, the dual of the category $κ\mathsf{Bool}_κ$ of $κ$-presented $κ$-complete Boolean algebras is (bi-)initial in the 2-category of $κ$-complete Boolean ($κ$-)extensive categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1908_10510 |
| institution | arXiv |
| publishDate | 2019 |
| record_format | arxiv |
| spellingShingle | A universal characterization of standard Borel spaces Chen, Ruiyuan Logic Category Theory 03G30, 03E15, 06E75, 18C10 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 $\mathsf{SBor}$ 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 $κ$, the dual of the category $κ\mathsf{Bool}_κ$ of $κ$-presented $κ$-complete Boolean algebras is (bi-)initial in the 2-category of $κ$-complete Boolean ($κ$-)extensive categories. |
| title | A universal characterization of standard Borel spaces |
| topic | Logic Category Theory 03G30, 03E15, 06E75, 18C10 |
| url | https://arxiv.org/abs/1908.10510 |