These issues are studied in pointless topology, where complete Heyting algebras are also called frames or locales.
Damit zusammenhängende Fragen werden in der punktfreien Topologie untersucht, in der vollständige Heyting-Algebren auch Frames oder Locales genannt werden.