<A HREF="https://de.wikipedia.org/wiki/Heyting-Algebra">Wikipedia</A> uses "Locale", capitalized as a German noun but otherwise unchanged. It seems to resonate with how the word was originally introduced by Isbell, > "an inspired choice, which conveyed all the right overtones about the > spatial nature of these objects without causing their algebraic > underpinnings to obtrude, and which at the same time was easily > capable of all the necessary inflections". [Handbook of the History of General Topology, Volume 3]