ABSTRACT
Mathematical economics has been slow in adopting the methods of category theory, unlike other applied fields, ranging from physics to biology. In this chapter, we argue that this formalism is able to capture the intricacies of representing interactions among intentional agents, arguably an alternative object of study of economics. We illustrate this claim with three examples, namely the treatment of the possibility of integrating different models of behavioural economics, the identity between hierarchies of beliefs and states of the world in incomplete information games and the composition of games.
