Has anyone ever redone the classical development of algebra (magma, monoid, semigroup, quasigroup, group, ring, modules, etc) as appropriate diagrams in the Kleisli category of signatures and translations? Jacques