Presenting locale pullback via directed complete posets

DOI10.1016/J.TCS.2004.01.032MaRDI QIDQ1434361zbMATH OpenOpenAlexFDO

Authors Christopher F. Townsend

Publication date 4 August 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.01.032

zbMATH Keywords

lattice theorygenerators and relationsproper mapslocale theorytopos theoryopen mapschange of basedcpostriquotient

Mathematics Subject Classification ID

Frames, locales (06D22) Continuous lattices and posets, applications (06B35) Topoi (18B25) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• Presenting locale pullback via directed complete posets: extended abstract
• Directed completions of local dcpos
• Presenting dcpos and dcpo algebras
• A universal characterization of the double powerlocale
• Natural congruences and isomorphism theorems for directed complete partially ordered sets

Cites work

• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• A universal characterization of the double powerlocale
• An extension of the Galois theory of Grothendieck
• Categorical domain theory: Scott topology, powercategories, coherent categories
• Categories of chain-complete posets
• Information systems for continuous posets
• Localic triquotient maps are effective descent maps
• Proper maps of locales
• Strongly algebraic = SFP (topically)

Cited in

(10)

• An axiomatic account of weak triquotient assignments in locale theory
• scientific article; zbMATH DE number 177191 (Why is no real title available?)
• Presenting dcpos and dcpo algebras
• Representing geometric morphisms using power locale monads
• A representation theorem for geometric morphisms
• Proper maps of locales
• Some properties of internal locale morphisms externalised
• The patch construction is dual to algebraic DCPO representation
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Presenting locale pullback via directed complete posets: extended abstract

This page was built for publication: Presenting locale pullback via directed complete posets

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