23 Feb
2009
23 Feb
'09
2:01 a.m.
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