Definition 5.1 (Monad). A monad on a category $C$ is a triple $(T,\eta ,\mu )=𝕋$ where $T:C\to C$, and $\eta :1_C\to T$ and $\mu :TT\to T$ satisfy the commutative diagrams