>> Monad ( 1) for *) >> MonadWithUnit ( 2) for *) > Yes. We probably should rename them. Currently there is > domain Magma which probably should be renamed to FreeMagma > and get appropriate category (say MagmaWithUnit). AFAICS > the two categories fit nicely above SemiGroup and Monoid.
I'd prefer Magma instead of Monad as an algebra concept, i.e. a set with a (closed) binary operation. If I hear monad, it's connected to category theory. And also Haskell uses monad in the category theory sense. In the sense that Waldek suggested, maybe we should have AdditiveMagma and MultiplicativeMagma. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
