Unit and multiplication of a monad
= Unit and multiplication of a monad
{title2=$\eta,\mu$}
The natural maps $\eta:1\Rightarrow T$ and $\mu:T^2\Rightarrow T$ defining a <monad>, subject to the associativity and two unit identities.
= Unit and multiplication of a monad
{title2=$\eta,\mu$}
The natural maps $\eta:1\Rightarrow T$ and $\mu:T^2\Rightarrow T$ defining a <monad>, subject to the associativity and two unit identities.