Boundedness and complete distributivity

DOI10.1023/A:1012095313842MaRDI QIDQ5956928zbMATH OpenOpenAlexFDO

Authors Robert Rosebrugh, R. J. Wood

Publication date 1 September 2003

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1012095313842

zbMATH Keywords

idempotent splitting completionbi-equivalenceconstructively completely distributive latticesconstruction of the non-negative realsdown-set monad

Mathematics Subject Classification ID

Categories of spans/cospans, relations, or partial maps (18B10) Complete distributivity (06D10) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• Duality for CCD lattices
• Completely distributive enriched categories are not always continuous
• scientific article; zbMATH DE number 2125665
• Constructive complete distributivity. IV
• scientific article; zbMATH DE number 7523908
• Boolean topological distributive lattices and canonical extensions
• scientific article; zbMATH DE number 3902716
• Cartesian closedness of categories of completely distributive lattices
• Distributive \((0,1)\)-lattices with an added constant
• Intervals as a domain constructor

Cited in

(2)

• A basic distributive law
• Regularity vs. constructive complete (co)distributivity

This page was built for publication: Boundedness and complete distributivity

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