TL;DR
This paper introduces a canonical interpretation functor between categories of topological spaces in a transitive model of set theory and the universe, preserving key topological and analytical properties.
Contribution
It constructs a canonical interpretation functor that extends to Borel subspaces, simplifying and generalizing previous results by Fremlin.
Findings
Preserves topology, functional analysis, and dynamics concepts
Extends to Borel subspaces
Simplifies existing results
Abstract
Let M be a transitive model of set theory. There is a canonical interpretation functor between the category of regular Hausdorff, continuous open images of Cech-complete spaces of M and the same category in V, preserving many concepts of topology, functional analysis, and dynamics. The functor can be further canonically extended to the category of Borel subspaces. This greatly simplifies and extends similar results of Fremlin.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Advanced Topology and Set Theory · Topological and Geometric Data Analysis