Constructive complete distributivity. IV (Q1330904)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Constructive complete distributivity. IV |
scientific article; zbMATH DE number 617341
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive complete distributivity. IV |
scientific article; zbMATH DE number 617341 |
Statements
Constructive complete distributivity. IV (English)
0 references
10 August 1994
0 references
[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.
0 references
constructive completely distributive lattices
0 references
left exact versions
0 references
Karoubian envelope
0 references
bicategory of relations
0 references
bicategory of CCD lattices and sup-preserving arrows
0 references
subcategory of totally algebraic objects
0 references
projectives
0 references
