Cartesian closedness, extensionality and bornological universes
DOI10.1007/s10485-013-9310-2zbMath1307.18006OpenAlexW1981191711MaRDI QIDQ2014747
Publication date: 16 June 2014
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10485-013-9310-2
MacNeille completionbornological universeCartesian closed topological hullclosed bornological universeextensional topological hullopen bornological universetopological universe hull
Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Cites Work
- Some properties of bornological convergences
- Uniform continuity, uniform convergence, and shields
- Gap, excess and bornological convergence
- Topological improvements of categories of structured sets
- Bornological and ultrabornological C(X;E) spaces
- Bornological convergences
- Strong uniform continuity
- Boundedness in a topological space
- Uniformizable and realcompact bornological universes
- Cartesian Closed Topological Hulls
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item