A Cartesian closed extension of the category of locales

DOI10.1017/S0960129506005135zbMATH Open1098.18003MaRDI QIDQ5481591FDOQ5481591

Authors: Reinhold Heckmann 

Publication date: 10 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Recommendations

• Cartesian closed extensions of subcategories of CONT
• On Cartesian closed extensions of non-pointed domains
• Cartesian closed extensions of the category of uniform spaces
• Cartesian closed stable categories
• Cartesian closeness of the categories of algebraic local complete posets and FS-local directed complete posets

zbMATH Keywords

localesreflexive subcategorycartesian categoryequilocales

Mathematics Subject Classification ID

Frames, locales (06D22) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cited In (10)

• Regular and effective regular categories of locales
• Title not available (Why is that?)
• Locally cartesian closed exact completions
• Univalence in locally Cartesian closed categories
• A convenient category of locally preordered spaces
• Entailment systems for stably locally compact locales
• The property of Cartesian closed of the category of normal \(\Omega\)-sets based on the category of sheaves
• On the local Cartesian closure of exact completions
• On equalizers in the category of locales
• A categorical proof of the equivalence of local compactness of exponentiability in locale theory

This page was built for publication: A Cartesian closed extension of the category of locales

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5481591)