I would not mind, at that time it was a 51 to 49 decision against Magma Am 17.08.15 um 10:04 schrieb Martin Baker: > 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 > > > -- > Mit freundlichen Grüßen > > Johannes Grabmeier > > Prof. Dr. Johannes Grabmeier > Köckstraße 1, D-94469 Deggendorf > Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756 > Tel. +49-(0)-991-3615-141 (d), Fax: +49-(0)-3224-192688
-- 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.
