Constructive complete distributivity. IV
[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.
constructive completely distributive lattices
bicategory of CCD lattices and sup-preserving arrows
subcategory of totally algebraic objects
scientific article; zbMATH DE number 617341
scientific article