#10667: Morphisms and Objects of Categories
---------------------------+------------------------------------------------
Reporter: SimonKing | Owner: nthiery
Type: enhancement | Status: needs_info
Priority: major | Milestone:
Component: categories | Keywords: objects morphisms containment
Author: Simon King | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------+------------------------------------------------
Changes (by SimonKing):
* status: new => needs_info
Comment:
So, what's the status of the ticket?
I need more info!
First thing: I am still not happy with the groupoids. But can this perhaps
be solved in a different ticket?
Second and more urgent thing? Why does my example of pointed sets not
inherit from `PointedSets().parent_class`? What did I do wrong? I asked on
sage-support, but didn't receive a reply.
The problem is:
{{{
sage: from sage.categories.examples.pointed_sets import PointedSet
sage: S = PointedSet([1,2,3],2)
sage: S.category()
Category of pointed sets
sage: S.__class__
<class 'sage.categories.examples.pointed_sets.PointedSet_with_category'>
}}}
So, the category is initialised. But:
{{{
sage: isinstance(S,PointedSets().parent_class)
False
}}}
What goes wrong in my implementation?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10667#comment:5>
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.
