Presenting locale pullback via directed complete posets: extended abstract

MaRDI QIDQ2851546zbMATH OpenFDO

Authors Christopher F. Townsend

Publication date 10 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104050923

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
• The duality between algebraic posets and bialgebraic frames: a lattice theoretic perspective
• On the parallel between the suplattice and preframe approaches to locale theory
• Presenting dcpos and dcpo algebras
• Directed completions of local dcpos

Cited in

(2)

• Presenting locale pullback via directed complete posets
• Presenting quotient locales

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

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