See "Two Approaches to Local-Global Symmetry"
(this journal, Jan. 19, 2023), which discusses
local group actions on plane and solid graphic
patterns that induce global group actions.
See also local and global group actions of a different sort in
the July 11, 1986, note "Inner and Outer Group Actions."
This post was suggested by some remarks of Barry Mazur,
quoted in the previous post, on " Wittgenstein's 'language game,' "
Grothendieck, global views, local views and "locales."
Further reading on "locales" — Wikipedia, Pointless topology.
The word "locale" in mathematics was apparently* introduced by Isbell —
ISBELL, JOHN R. “ATOMLESS PARTS OF SPACES.”
Mathematica Scandinavica, vol. 31, no. 1, 1972, pp. 5–32.
JSTOR, http://www.jstor.org/stable/24490585.
* According to page 841 of . . .
Johnstone, P. (2001). "Elements of the History of Locale Theory."
Pp. 835–851 in: Aull, C.E., Lowen, R. (eds) Handbook of the
History of General Topology, Vol 3. Springer, Dordrecht.