Cartesian closedness, extensionality and bornological universes
bornological universeCartesian closed topological hullclosed bornological universeextensional topological hullMacNeille completionopen bornological universetopological universe hull
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Topological spaces and generalizations (closure spaces, etc.) (54A05) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Categorical methods in general topology (54B30)
A topological space endowed with a bornology is called a \textit{bornological universe}. A closed bornological universe is a bornological universe where each bounded set is contained in a closed, bounded set. The category of all closed bornological universes and bounded continuous maps is a topological construct. Similarly, a bornological universe in which each bounded set is contained in an open, bounded set is called an open bornological universe but now the category of all open bornological universes and bounded continuous maps is not a topological construct. This paper provides a description of the cartesian closed topological hull, extensional topological hull and topological universe hull of both the category of closed and of open bornological universes. In the former case, the topological universe where the hulls are constructed is the supercategory \textbf{PsBorUniv} of all pseudobornological universes and bounded continuous maps, in which the category of closed bornological universes is fully embedded as a finally dense subcategory. In the latter case, the open bornological universes are not finally dense in the category of pseudobornological universes. Now the final hull of the category of open bornological universes is the full subcategory of \textbf{PsBorUniv} that contains all objects in which each convergent ultrafilter contains a bounded set. This is the topological universe where the hulls are constructed in the open case.
- Partiality, cartesian closedness, and toposes
- Infinite dimensional spaces and Cartesian closedness
- Embeddings of bornological universes
- Existentially closed structures in the power of the continuum
- Cauchy metrizability of bornological universes
- Uniformizable and realcompact bornological universes
- Cartesian closedness in categories of relational systems
- scientific article; zbMATH DE number 3968855
- scientific article; zbMATH DE number 3961917
- scientific article; zbMATH DE number 468617
- Bornological and ultrabornological C(X;E) spaces
- Bornological convergences
- Boundedness in a topological space
- Cartesian Closed Topological Hulls
- Gap, excess and bornological convergence
- scientific article; zbMATH DE number 19035 (Why is no real title available?)
- scientific article; zbMATH DE number 19036 (Why is no real title available?)
- scientific article; zbMATH DE number 3493539 (Why is no real title available?)
- scientific article; zbMATH DE number 3560151 (Why is no real title available?)
- scientific article; zbMATH DE number 3434702 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- Pseudometrizable bornological convergence is Attouch-Wets convergence
- Some properties of bornological convergences
- Strong uniform continuity
- Topological improvements of categories of structured sets
- Uniform continuity, uniform convergence, and shields
- Uniformizable and realcompact bornological universes
This page was built for publication: Cartesian closedness, extensionality and bornological universes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014747)
