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