Constructive complete distributivity. IV
Publication:1330904
DOI10.1007/BF00873296zbMATH Open0804.06013OpenAlexW2091016239MaRDI QIDQ1330904FDOQ1330904
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
projectivesbicategory of CCD lattices and sup-preserving arrowsbicategory of relationsconstructive completely distributive latticesKaroubian envelopeleft exact versionssubcategory of totally algebraic objects
Complete distributivity (06D10) Preorders, orders, domains and lattices (viewed as categories) (18B35)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Information systems for continuous posets
- An extension of the Galois theory of Grothendieck
- Projective and supercoherent frames
- Metric spaces, generalized logic, and closed categories
- A Subdirect-Union Representation for Completely Distributive Complete Lattices
- Yoneda structures on 2-categories
- Nuclearity
- Constructive complete distributivity. IV
- Constructive complete distributivity. I
- Constructive complete distributivity II
- Nuclearity in the category of complete semilattices
- Constructive Complete Distributivity III
- Order ideals in categories
- Continuous posets and adjoint sequences
Cited In (14)
- An Adjoint Characterization of the Category of Sets
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Regular and exact completions
- A four for the price of one duality principle for distributive spaces
- A duality of quantale-enriched categories
- Completely and totally distributive categories. I.
- Regularity vs. constructive complete (co)distributivity
- The general theory of diads
- The enriched Vietoris monad on representable spaces
- Constructive complete distributivity. IV
- A basic distributive law
- Profunctors between posets and Alexander duality
- Duality theory for enriched Priestley spaces
- Boundedness and complete distributivity
This page was built for publication: Constructive complete distributivity. IV
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1330904)