Cartesian closedness, extensionality and bornological universes

DOI10.1007/S10485-013-9310-2zbMATH Open1307.18006OpenAlexW1981191711MaRDI QIDQ2014747FDOQ2014747

Authors Tom Vroegrijk, M. 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

Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30)

Recommendations

• 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

Cites work

• 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?)
• Bornological and ultrabornological C(X;E) spaces
• Bornological convergences
• Boundedness in a topological space
• Cartesian Closed Topological Hulls
• Gap, excess and bornological convergence
• 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

Cited in

(2)

• Higher-order contingentism. I: Closure and generation
• scientific article; zbMATH DE number 4143003 (Why is no real title available?)

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)