#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):
Replying to [comment:24 nthiery]:
> Do you have a better
> name for "non unital algebras"? I am not really keen on
> "NotNecessarilyUnitalAlgebras".
Yes. A not necessarily unital not necessarily associative not necessarily
finite-dimensional not necessarily noetherian not necessarily ... is
commonly known as an '''algebra'''.
In other words, I suggest to name the categories exactly parallel to the
axioms it provides. Actually, before reading your patch, I thought that
you aim to ''automatically'' create a category of "associative algebras",
given the category of algebras and the axiom "associative".
Hence, I think it should be
{{{
algebras
/ \
associative algebras unital algebras
\ /
associative unital algebras
}}}
and similar for commutative algebras, commutative associative algebras,
commutative associative unital algebras, and so on.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10963#comment:25>
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.
