A Cartesian closed extension of the category of locales

DOI10.1017/S0960129506005135MaRDI QIDQ5481591zbMATH OpenFDO

Authors Reinhold Heckmann

Publication date 10 August 2006

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

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)

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

Cited in

(10)

• Regular and effective regular categories of locales
• scientific article; zbMATH DE number 1159734 (Why is no real title available?)
• 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)