#10667: Morphisms and Objects of Categories
---------------------------+------------------------------------------------
Reporter: SimonKing | Owner: nthiery
Type: enhancement | Status: new
Priority: major | Milestone:
Component: categories | Keywords: objects morphisms containment
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------+------------------------------------------------
Comment(by nthiery):
Hi Simon!
Replying to [comment:1 SimonKing]:
> If a category has not its own implementation of a hom-category,
currently the join of the hom-categories of its super-categories is
chosen. Hence, we have
> {{{
> sage: CommutativeRings().hom_category()
> Category of hom sets in Category of rings
> sage: WeylGroups().hom_category()
> Category of hom sets in Category of sets
> }}}
>
> I don't like that.
> ...
Yeah. As mentioned in the code and in the road map [1], HomCategory is
just plain broken and needs a full refactoring. I just used the
occasion to create a ticket with design suggestions: #10668.
If you want to improve things in this direction, please jump right
away on #10668; it might actually not be that much work, and every
intermediate step would be just a work around and a waste of time.
Thanks again for your continuous motion toward improving Sage in this
area!
Cheers,
Nicolas
[1] http://trac.sagemath.org/sage_trac/wiki/CategoriesRoadMap
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10667#comment:2>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
