#10963: More functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.1
Component: categories | Resolution:
Keywords: days54 | Merged in:
Authors: Nicolas M. Thiéry | Reviewers: Simon King, Frédéric
Report Upstream: N/A | Chapoton
Branch: | Work issues:
public/ticket/10963 | Commit:
Dependencies: #11224, #8327, | eb7b486c6fecac296052f980788e15e2ad1b59e4
#10193, #12895, #14516, #14722, | Stopgaps:
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506 |
-------------------------------------+-------------------------------------
Comment (by pbruin):
First, I just want to state my agreement with others' opinions (e.g.
Nils's comment:326, Volker's comment:327) that it would be extremely
desirable to avoid using name parsing to deduce mathematical properties
from Python names.
Second, I think the new method `CartesianProduct.summands()` is inaptly
named. The things of which a product is composed (also in the categorical
sense, in my experience) are normally called ''factors''! Recall that in
a category where both sums and product exist, they are usually not the
same. For example, in the category of sets, the sum is the disjoint
union, and in the category of rings, the sum is the tensor product. It
makes sense that the components of which a product is composed should be
called ''factors'' and the components of which a sum is composed should be
called ''summands''.
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:444>
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.
