Cartesian closedness, extensionality and bornological universes

DOI10.1007/s10485-013-9310-2zbMath1307.18006OpenAlexW1981191711MaRDI QIDQ2014747

Tom Vroegrijk, Mark Sioen

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

zbMATH Keywords

MacNeille completionbornological universeCartesian closed topological hullclosed bornological universeextensional topological hullopen bornological universetopological universe hull

Mathematics Subject Classification ID

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