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:
“Converse with a mind that is grandly simple, and literature looks like word-catching. The simplest utterances are worthiest to be written, yet are they so cheap, and so things of course, that, in the infinite riches of the soul, it is like gathering a few pebbles off the ground, or bottling a little air in a phial, when the whole earth and the whole atmosphere are ours.”
—Ralph Waldo Emerson (1803–1882)
“Literature must become Party literature.... Down with unpartisan litterateurs! Down with the superman of literature! Literature must become a part of the general cause of the proletariat.”
—Vladimir Ilyich Lenin (1870–1924)
“The literature of women’s lives is a tradition of escapees, women who have lived to tell the tale.”
—Phyllis Rose (b. 1942)