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

Topoi (18B25) Complete distributivity (06D10)

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)

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

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)