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:
“In talking with scholars, I observe that they lost on ruder companions those years of boyhood which alone could give imaginative literature a religious and infinite quality in their esteem.”
—Ralph Waldo Emerson (1803–1882)
“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)
“Despite your best efforts, you could not invent a better police force for literature than criticism and the author’s own conscience.”
—Anton Pavlovich Chekhov (1860–1904)