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

geometric morphismsconstructively completely distributive latticesdirect images of local homeomorphisms

Mathematics Subject Classification ID

Topoi (18B25) Complete distributivity (06D10) 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

(8)

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

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)