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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Strong uniform continuity
• Pseudometrizable bornological convergence is Attouch-Wets convergence
• Gap, excess and bornological convergence
• Bornological convergences
• Some properties of bornological convergences
• Title not available (Why is that?)
• Boundedness in a topological space
• Topological improvements of categories of structured sets
• Uniformizable and realcompact bornological universes
• Uniform continuity, uniform convergence, and shields
• Cartesian Closed Topological Hulls
• Bornological and ultrabornological C(X;E) spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• Higher-order contingentism. I: Closure and generation

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)