>
> Another hint: AXIOM/FriCAS already has some of these new categories;
>
> in the non-associativity world we once provided
>
> Monad ( 1) for *)
> MonadWithUnit ( 2) for *)
>
> However, it was never unified with the associative world, which really
> should be done to be consistent.
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.
--
Waldek Hebisch
[email protected]
--
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.
