M Theory Lesson 52
The first kind of distributivity that we learn about is that of ordinary multiplication over addition. This is fully described by monads (in particular + and x) in a (causal) square involving the categories Set, Ring, Monoid (for multiplication) and Ab (for addition). The category of rings is where the numbers actually live. Now by characterising Set as a ground 2-logos, we begin to see that a very fundamental axiomatisation of M Theory should be possible, in terms of pseudomonads for 3-logoses.
Hopefully by now it has occurred to our readers that the term M Theory does not merely refer to an 11 dimensional supergravity.