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:
“To me, literature is a calling, even a kind of salvation. It connects me with an enterprise that is over 2,000 years old. What do we have from the past? Art and thought. That’s what lasts. That’s what continues to feed people and given them an idea of something better. A better state of one’s feelings or simply the idea of a silence in one’s self that allows one to think or to feel. Which to me is the same.”
—Susan Sontag (b. 1933)
“How has the human spirit ever survived the terrific literature with which it has had to contend?”
—Wallace Stevens (1879–1955)
“All men are lonely. But sometimes it seems to me that we Americans are the loneliest of all. Our hunger for foreign places and new ways has been with us almost like a national disease. Our literature is stamped with a quality of longing and unrest, and our writers have been great wanderers.”
—Carson McCullers (1917–1967)