#10668: Refactor category support for morphisms (Hom is not a functorial
construction!)
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: nthiery
Type: defect | Status: needs_review
Priority: major | Milestone:
Component: categories | Resolution:
Keywords: | Merged in:
Authors: Nicolas M. Thiéry | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/nthiery/categories/morphism- | 9de89090ec0c6072076caf5e248d4e6aa0613c7a
methods-10668 | Stopgaps:
Dependencies: #16340 |
-------------------------------------+-------------------------------------
Changes (by git):
* commit: ac38edabd09cbe567e84866f269c6657f5c4fb02 =>
9de89090ec0c6072076caf5e248d4e6aa0613c7a
Comment:
Branch pushed to git repo; I updated commit sha1. New commits:
||[http://git.sagemath.org/sage.git/commit/?id=eaa56bc5fb0573c6d91199f61342100a8d5a4a4b
eaa56bc]||{{{16340: super_structure_categories ->
all_structure_super_categories}}}||
||[http://git.sagemath.org/sage.git/commit/?id=afc972435344a312c1ec6d925b4bcbb04a25d2e4
afc9724]||{{{Merge branch 'develop' into categories/full-
subcategories-16340}}}||
||[http://git.sagemath.org/sage.git/commit/?id=21bf60a7c21af76c69ae4f103d874130bbc7588c
21bf60a]||{{{Merge branch 'categories/full-subcategories-16340' and
'6.3beta5' into categories/morphism-methods-10668}}}||
||[http://git.sagemath.org/sage.git/commit/?id=9de89090ec0c6072076caf5e248d4e6aa0613c7a
9de8909]||{{{10668: super_structure_categories ->
all_structure_super_categories}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/10668#comment:28>
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.
