Geodesic
Constructive Complete Distributivity III
Canadian mathematical bulletin, Tome 35 (1992) no. 4, pp. 537-547

Voir la notice de l'article provenant de la source Cambridge University Press

A complete lattice L is constructively completely distributive,(CCD)(L), if the sup map defined on down closed subobjects has a left adjoint. We characterize preservation of this property by left exact functors between toposes using a "logical comparison transformation". The characterization is applied to (direct images of) geometric morphisms to show that local homeomorphisms (in particular, product functors) preserve (CCD) objects, while preserving (CCD) objects implies openness.
DOI : 10.4153/CMB-1992-070-6
Mots-clés : 18B35, 06D10, 03G10 
Rosebrugh, Robert; Wood, R. J. Constructive Complete Distributivity III. Canadian mathematical bulletin, Tome 35 (1992) no. 4, pp. 537-547. doi: 10.4153/CMB-1992-070-6
@article{10_4153_CMB_1992_070_6,
     author = {Rosebrugh, Robert and Wood, R. J.},
     title = {Constructive {Complete} {Distributivity} {III}},
     journal = {Canadian mathematical bulletin},
     pages = {537--547},
     year = {1992},
     volume = {35},
     number = {4},
     doi = {10.4153/CMB-1992-070-6},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1992-070-6/}
}
TY  - JOUR
AU  - Rosebrugh, Robert
AU  - Wood, R. J.
TI  - Constructive Complete Distributivity III
JO  - Canadian mathematical bulletin
PY  - 1992
SP  - 537
EP  - 547
VL  - 35
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1992-070-6/
DO  - 10.4153/CMB-1992-070-6
ID  - 10_4153_CMB_1992_070_6
ER  - 
%0 Journal Article
%A Rosebrugh, Robert
%A Wood, R. J.
%T Constructive Complete Distributivity III
%J Canadian mathematical bulletin
%D 1992
%P 537-547
%V 35
%N 4
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1992-070-6/
%R 10.4153/CMB-1992-070-6
%F 10_4153_CMB_1992_070_6

[1] 1. Carboni, Aurelio, Kelly, G. M. and Wood, R. J., A 2-categorical approach to change of base and geometric morphisms 1, Cahiers de topologie et géométrie différentielle catégoriques XXXII(1991), 47–95. Google Scholar

[2] 2. Carboni, Aurelio and Street, Ross, Order ideals in categories, Pacific Journal of Mathematics (2) 124(1986), 275–278. Google Scholar

[3] 3. Fawcett, Barry and Wood, R. J., Constructive complete distributivity 1, Math. Proc. Cam. Phil. Soc. 107(1990), 81–89. Google Scholar

[4] 4. Joyal, André and Tierney, Myles, An Extension of the Galois Theory of Grothendieck, Memoirs of the American Mathematical Society 309, American Mathematical Society, 1984. Google Scholar

[5] 5. Mikkelsen, C. J., Lattice theoretic and logical aspects of elementary topoi, Publications Series 25, Aarhus Universitet, 1976. Google Scholar

[6] 6. Rosebrugh, Robert and Wood, R. J., Constructive complete distributive 2, Math. Proc. Camb. Phil. Soc. 110(1991), 245–249. Google Scholar

[7] 7. Wood, R. J., Proarrows 1, Cahiers de topologie et géométrie différentielle catégoriques XXIII(1982), 279–290. Google Scholar

[8] 8. Wood, R. J., Proarrows 2, Cahiers de topologie et géométrie différentielle catégoriques XXVI(1985), 135— 168. Google Scholar

Cité par Sources :