Editing Complete Heyting algebra (section)

== 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}}.

* {{cite book | zbl=1034.18001 | editor1-last=Pedicchio | editor1-first=Maria Cristina | editor2-last=Tholen | editor2-first=Walter | title=Categorical foundations. Special topics in order, topology, algebra, and sheaf theory | series=Encyclopedia of Mathematics and Its Applications | volume=97 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2004 | isbn=0-521-83414-7 }}