On 17/08/15 08:57, Prof. Dr. Johannes Grabmeier privat wrote:
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.
Is this a chance to rename 'Monad' which seems to conflict with modern
usage?
Martin
--
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.
