Constructive complete distributivity. IV

DOI10.1007/BF00873296zbMath0804.06013OpenAlexW2091016239MaRDI QIDQ1330904

Richard J. Wood, Robert D. Rosebrugh

Publication date: 10 August 1994

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

Full work available at URL: https://doi.org/10.1007/bf00873296

zbMATH Keywords

projectivesbicategory of CCD lattices and sup-preserving arrowsbicategory of relationsconstructive completely distributive latticesKaroubian envelopeleft exact versionssubcategory of totally algebraic objects

Mathematics Subject Classification ID

Complete distributivity (06D10) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items

Constructive complete distributivity. IV, A four for the price of one duality principle for distributive spaces, Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories, Regular and exact completions, Profunctors between posets and Alexander duality, A duality of quantale-enriched categories, The enriched Vietoris monad on representable spaces, Regularity vs. constructive complete (co)distributivity, The general theory of diads, An Adjoint Characterization of the Category of Sets, A basic distributive law, Duality theory for enriched Priestley spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Order ideals in categories
• Nuclearity in the category of complete semilattices
• Continuous posets and adjoint sequences
• Projective and supercoherent frames
• Yoneda structures on 2-categories
• Constructive complete distributivity. IV
• Information systems for continuous posets
• An extension of the Galois theory of Grothendieck
• Constructive complete distributivity. I
• Nuclearity
• Constructive complete distributivity II
• Constructive Complete Distributivity III
• Metric spaces, generalized logic, and closed categories
• A Subdirect-Union Representation for Completely Distributive Complete Lattices