#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 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.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10963#comment:23>
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.
