#10963: Axioms and more functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-6.2
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: merge with #15801
public/ticket/10963-doc- | once things stabilize
distributive | Commit:
Dependencies: #11224, #8327, | 18a4a74779e45d5ac8662affc40d46b773e3c495
#10193, #12895, #14516, #14722, | Stopgaps:
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506, |
#15757, #15759, #15919 |
-------------------------------------+-------------------------------------
Comment (by pbruin):
Replying to [comment:629 nthiery]:
> Replying to [comment:627 pbruin]:
> > For the moment, in the primer, would it perhaps be an option to just
''document'' that this relation is currently called "subcategory" in Sage
and not attempt to ''justify'' this terminology? (And maybe to consider
rewording the mention of "category purists"; not that I consider myself
one... 8-) )
> Feel free to proceed and rework the phrasing to whatever seems
> appropriate to you! Please keep the "justification" part in one form
> or the other though: it was really meant to point out the relevance of
> this hierarchy relation between categories and its natural connection
> to object oriented design; not to support the terminology.
I have just pushed a commit for this; I hope that it strikes the right
balance, and that the note referring to a possible future change in #16183
is appropriate.
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:640>
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/d/optout.
