Dear category fans,
One of the features introduced by the category patch #10963 is a new
category for algebras that are not necessarily associative nor unital.
This is a call for suggestions and votes for a good name for it.
- ``Algebras``: that's wikipedia's choice [1]. However using this name
would be backward incompatible, since ``Algebras'' in Sage currently
refers to associative unital algebras. At this point in time, I
don't want to open another can of worm on a ticket that is already
way too big. But we could think about it in a later ticket.
Note: many textbooks/papers use algebra as a short hand for
associative unital (and sometimes commutative) algebras; but they
usually specify this explicitly at the beginning, and they are each
in a smaller context than Sage's.
- ``NonAssociativeNonUnitalAlgebras``: that's what's currently
used in the patch. Of course this terminology is not great because
an associative algebra would then be a special case of a non
associative algebra ...
Note: I remember someone mentioning once that there was a tiny
difference between ``non-associative'' and ``not associative'' that
could possibly make this acceptable but I have no informed opinion
myself.
- ``MagmaticAlgebras``: this was suggested by Florent, referring to
the terminology used in the operad community; see e.g. 13.8 of
Loday&Valette [2]
- Something else?
Thanks for your feedback!
Cheers,
Nicolas
[1] http://en.wikipedia.org/wiki/Algebra_%28ring_theory%29
[2] http://math.unice.fr/~brunov/Operads.pdf
--
Nicolas M. Thiéry "Isil" <[email protected]>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-devel" 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/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.
