A mathematical framework where local symmetries (like independent rotations) constrain how interactions between entities must work.