Constructive complete distributivity. IV
type: Item
instance of: scholarly article
title: Constructive complete distributivity. IV
zbMATH Open document ID: 0804.06013
DOI: 10.1007/BF00873296
published in: Applied Categorical Structures
publication date: 1994-08-10T00:00:00Z
review text: [For Part III see Can. Math. Bull. 35, No. 4, 537-547 (1992; Zbl 0760.06005).] The authors continue their work on constructive completely distributive (CCD) lattices, that is where the sup has a left adjoint. They prove that the Karoubian envelope of the bicategory of relations is biequivalent to the bicategory of CCD lattices and sup-preserving arrows. They also consider the subcategory of totally algebraic objects. Left exact versions are obtained and some projectives are characterized.
Mathematics Subject Classification ID: 06D10
Mathematics Subject Classification ID: 18B35
zbMATH DE Number: 617341
zbMATH Keywords: constructive completely distributive lattices
zbMATH Keywords: left exact versions
zbMATH Keywords: Karoubian envelope
zbMATH Keywords: bicategory of relations
zbMATH Keywords: bicategory of CCD lattices and sup-preserving arrows
zbMATH Keywords: subcategory of totally algebraic objects
zbMATH Keywords: projectives
author: Robert Rosebrugh
author: R. J. Wood
reviewed by: C. S. Hoo
MaRDI profile type: Publication
cites work: Projective and supercoherent frames
cites work: Q3986541
cites work: Order ideals in categories
cites work: Q5182330
cites work: Constructive complete distributivity. I
cites work: Nuclearity in the category of complete semilattices
cites work: Continuous posets and adjoint sequences
cites work: Q3965241
cites work: An extension of the Galois theory of Grothendieck
cites work: Metric spaces, generalized logic, and closed categories
cites work: A Subdirect-Union Representation for Completely Distributive Complete Lattices
cites work: Constructive complete distributivity II
cites work: Constructive Complete Distributivity III
cites work: Nuclearity
cites work: Yoneda structures on 2-categories
cites work: Information systems for continuous posets
full work available at URL: https://doi.org/10.1007/bf00873296
OpenAlex ID: W2091016239
description: scientific article; zbMATH DE number 617341