computational category theory

There's also the compositional game theory which is based on it:

https://arxiv.org/abs/1603.04641