Changes http://wiki.axiom-developer.org/AxiomDeveloper/diff -- mathaction-bounces@axiom-developer.org (Martin Rubey) writes:
[...] | Do you mean that passing operations to the categories would be a feasible | approach? I.e., being allowed to say something like | | Monoid(m:(%,%)->%): Category == with | square: % -> % | | add | square a == m(a,a) if we wanted this to work, we should make sure that "square" is not automatically exported to the "global scope". By default it should be accessible/visible only through field member access syntax, e.g. Monoid(+).square Of course, one can devise an abbreviation, or aliasing mechanism when the context is unambiguous. -- Gaby -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]