#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 nthiery):
Replying to [comment:373 ncohen]:
> I am reading the documentation of axioms, which begins by saying that
one should first be used to the doc of axioms in the category primer...
which is probably contained in this very patch too. Even though I cannot
find where.
I am confused. Are you looking at
http://sage.math.washington.edu/home/nthiery/sage-6.0/src/doc/output/html/en/reference/categories/sage/categories/category_with_axiom.html
#module-sage.categories.category_with_axiom? Doesn't it start with links
to the primer and the appropriate section there?
> Well, this just to say that there seems to be something wrong with the
first two examples of Sage code in the section entitled "Difference
between axioms and regressive covariant functorial constructions" of the
following doc :
http://sage.math.washington.edu/home/nthiery/sage-6.0/src/doc/output/html/en/reference/categories/sage/categories/primer.html
#category-primer-axiom
You mean that they are not framed as Sage examples? Thanks for spotting
this! I had indeed forgotten the ::. Fixed on my machine; it will be in
the next commit.
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:376>
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.
