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)

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)