Constructive Complete Distributivity III
暂无分享，去创建一个
Abstract 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.
[1] R. J. Wood,et al. Constructive complete distributivity. I , 1990, Mathematical Proceedings of the Cambridge Philosophical Society.
[2] Christian Juul Mikkelsen,et al. Lattice theoretic and logical aspects of elementary topoi , 1976 .
[3] A. Joyal,et al. An extension of the Galois theory of Grothendieck , 1984 .
[4] G. M. Kelly,et al. A $2$-categorical approach to change of base and geometric morphisms I , 1991 .
[5] Ross Street,et al. Order ideals in categories , 1986 .