Literature
- P. T. Johnstone, Stone Spaces, Cambridge Studies in Advanced Mathematics 3, Cambridge University Press, Cambridge, 1982. (ISBN 0-521-23893-5)
- Still a great resource on locales and complete Heyting algebras.
- G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, Continuous Lattices and Domains, In Encyclopedia of Mathematics and its Applications, Vol. 93, Cambridge University Press, 2003. ISBN 0-521-80338-1
- Includes the characterization in terms of meet continuity.
- Francis Borceux: Handbook of Categorical Algebra III, volume 52 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.
- Surprisingly extensive resource on locales and Heyting algebras. Takes a more categorical viewpoint.
- Steven Vickers, Topology via logic, Cambridge University Press, 1989, ISBN 0-521-36062-5.
Read more about this topic: Complete Heyting Algebra
Famous quotes containing the word literature:
“The struggle of literature is in fact a struggle to escape from the confines of language; it stretches out from the utmost limits of what can be said; what stirs literature is the call and attraction of what is not in the dictionary.”
—Italo Calvino (1923–1985)
“First literature came to refer only to itself, the literary theory.”
—Mason Cooley (b. 1927)