The other ingredient needed to define an agent, as we saw in the introduction, is a description of the actions available to him. As his actions may have a global impact, a minimal approach is to take them to be a submonoid \(\mathcal {T}_B\subseteq \mathcal {T}\)  of the globally allowed transformations. We discuss relaxations of this definition in Section .
Generalizations of this approach can be found in Ref. [1]}. There, we also study explicit ways to move between global and local views (technically, related by Galois insertions), effective theories and other properties of local agents.
