Constructive complete distributivity II

DOI10.1017/S0305004100070316MaRDI QIDQ3982353zbMATH OpenOpenAlexFDO

Authors Robert Rosebrugh, R. J. Wood

Publication date 26 June 1992

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0305004100070316

zbMATH Keywords

Boolean toposesconstructive complete distributivity

Mathematics Subject Classification ID

Complete distributivity (06D10) Topoi (18B25)

Recommendations

• Constructive complete distributivity. I
• Constructive Complete Distributivity III
• Constructive complete distributivity. IV

Cites work

• Some remarks on total categories
• Yoneda structures on 2-categories

Cited in

(15)

• Constructive complete distributivity. IV
• Groupoidal completely distributive lattices
• Monads for which structures are adjoint to units
• Limits in free coproduct completions
• On infinite variants of De Morgan law in locale theory
• Distributivity equations of implications based on continuous triangular conorms. II
• Information systems for continuous posets
• Constructive Complete Distributivity III
• Regularity vs. constructive complete (co)distributivity
• Completely and totally distributive categories. I.
• Constructive theory of the lower power locale
• EXTENDED DISTRIBUTIVE LAW: COWREATH OVER CORINGS
• A basic distributive law
• Cartesian monads on toposes
• The general theory of diads

This page was built for publication: Constructive complete distributivity II

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