Constructive Complete Distributivity III

DOI10.4153/CMB-1992-070-6MaRDI QIDQ4024833zbMATH OpenOpenAlexFDO

Authors Robert Rosebrugh, R. J. Wood

Publication date 16 February 1993

Published in Canadian Mathematical Bulletin (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4153/cmb-1992-070-6

zbMATH Keywords

constructively completely distributive latticesdirect images of local homeomorphismsgeometric morphisms

Mathematics Subject Classification ID

Complete distributivity (06D10) Topoi (18B25) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Review text

[For Parts I and II see Math. Proc. Camb. Philos. Soc. 107, 81-89 (1990; Zbl 0694.06008) and ibid. 110, 245-249 (1991; Zbl 0743.06009), respectively.] The authors consider constructively completely distributive (CCD) lattices and show that direct images of local homeomorphisms preserve CCD objects. While geometric morphisms which preserve CCD objects are open, it is shown that the converse of this is not true, neither is the converse of the main result.

Recommendations

• Constructive complete distributivity. I
• Constructive complete distributivity. IV
• Duality for CCD lattices
• Constructive complete distributivity II
• Cartesian closedness of categories of completely distributive lattices

Cited in

(9)

• Constructive complete distributivity. IV
• Groupoidal completely distributive lattices
• Distributivity equations of implications based on continuous triangular conorms. II
• Constructive complete distributivity. I
• Duality for CCD lattices
• Constructive complete distributivity II
• Regularity vs. constructive complete (co)distributivity
• A basic distributive law
• The general theory of diads

This page was built for publication: Constructive Complete Distributivity III

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