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

change of basedcposgenerators and relationslattice theorylocale theoryopen mapsproper mapstopos theorytriquotient

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• Information systems for continuous posets
• Localic triquotient maps are effective descent maps
• Proper maps of locales
• Strongly algebraic = SFP (topically)

Cited in

(11)

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

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)