Monad categories and algebras defined by actual group theoretic examples of Action groups and η, ...
Δ is a category defined with finite ordered integers set as objects and non-decreasing maps as mo...
