Presenting locale pullback via directed complete posets

DOI10.1016/J.TCS.2004.01.032zbMath1048.18003OpenAlexW2163194602MaRDI QIDQ1434361

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 theoryproper mapstopos theorygenerators and relationslocale theoryopen mapschange of basedcpostriquotient

Mathematics Subject Classification ID

Topoi (18B25) Frames, locales (06D22) 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) Continuous lattices and posets, applications (06B35) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (3)

An axiomatic account of weak triquotient assignments in locale theory ⋮ A representation theorem for geometric morphisms ⋮ Representing geometric morphisms using power locale monads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categories of chain-complete posets
• Proper maps of locales
• A universal characterization of the double powerlocale
• Information systems for continuous posets
• An extension of the Galois theory of Grothendieck
• Localic triquotient maps are effective descent maps
• Strongly algebraic = SFP (topically)

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