#10963: More functorial constructions
-------------------------------------------------------------------------+--
Reporter: nthiery |
Owner: stumpc5
Type: enhancement |
Status: needs_review
Priority: major |
Milestone:
Component: categories |
Resolution:
Keywords: |
Work issues: Rebase wrt. #13589
Report Upstream: N/A |
Reviewers: Simon King
Authors: Nicolas M. Thiéry |
Merged in:
Dependencies: #11224, #8327, #10193, #12895, #14516, #14722, #13589 |
Stopgaps:
-------------------------------------------------------------------------+--
Comment (by nthiery):
Replying to [comment:23 SimonKing]:
> There is now a category of non-associative algebras. But that's
misleading, because it certainly contains all associative algebras too,
isn't it? I'd say that "non-associative non-unital (non-commutative) (non-
finite-dimensional) algebras" should simply be "algebras".
>
> In other words, I am against mentioning the ''absence'' of an axiom in
the category name. Only the ''presence'' of an axiom must play a role.
Yeah, that's been a recurrent issue. I agree that this is not nice,
even though it's relatively common practice in maths to label as
"non-foo things" the larger field of study where one is interested in
things that are "not necessarily foo". For non associative non unital
algebras, Florent mentionned yesterday that "magmatic algebras" was
fairly standard, and I am happy to go with it. Do you have a better
name for "non unital algebras"? I am not really keen on
"NotNecessarilyUnitalAlgebras".
Cheers,
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10963#comment:24>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" 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-trac.
For more options, visit https://groups.google.com/groups/opt_out.
