CCD lattices in presheaf categories

G. S. H. Cruttwell, F. Marmolejo and R. J. Wood

In this paper we give a characterization of constructively completely distributive (CCD) lattices in presheaves on C, for C a small category with pullbacks.

Keywords: Constructive complete distributivity, presheaves, Beck-Chevalley condition, Frobenius reciprocity, change of base

2000 MSC: 18B35, 06D10, 06B23

Theory and Applications of Categories, Vol. 18, 2007, No. 6, pp 157-171.

TAC Home