#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, | 8045aa4a4b7ada735b3eb6055382f9b341a39f1e
#10193, #12895, #14516, #14722, | Stopgaps:
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506 |
-------------------------------------+-------------------------------------
Comment (by nbruin):
Replying to [comment:389 vbraun]:
> You are parsing the "Finite" class name,
The fact that axioms are represented by a string is a corollary of the
fact that
the category that results from storing the axiom in an attribute of
the supercategory. Attributes are labelled by (interned) strings.
It seems that axioms by themselves are hardly more than labels (they
definitely
don't implement something themselves), so I'm not sure something
significant is
gained by introducing another object to model axioms themselves.
Any operations that explicitly depend on axiom labels being strings is
less
desirable in my eyes, i.e., no mangling please.
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:390>
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.
