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.

http://www.tac.mta.ca/tac/volumes/18/6/18-06.dvi
http://www.tac.mta.ca/tac/volumes/18/6/18-06.ps
http://www.tac.mta.ca/tac/volumes/18/6/18-06.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/18/6/18-06.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/18/6/18-06.ps

TAC Home