Article contents
Constructive complete distributivity II
Published online by Cambridge University Press: 24 October 2008
Abstract
A complete lattice, L, is constructively completely distributive, (CCD) (L), if the sup map defined on down-closed subobjects has a left adjoint. It was known that in Boolean toposes (CCD) (L) is equivalent to (CCD) (Lop). We show here that the latter property for all L (sufficiently, for Ω.) characterizes Boolean toposes.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 110 , Issue 2 , September 1991 , pp. 245 - 249
- Copyright
- Copyright © Cambridge Philosophical Society 1991
References
REFERENCES
- 7
- Cited by