#10668: Refactor category support for morphisms (Hom is not a functorial
construction!)
--------------------------+-------------------------------------------------
   Reporter:  nthiery     |       Owner:  nthiery
       Type:  defect      |      Status:  new    
   Priority:  major       |   Milestone:         
  Component:  categories  |    Keywords:         
     Author:              |    Upstream:  N/A    
   Reviewer:              |      Merged:         
Work_issues:              |  
--------------------------+-------------------------------------------------

Comment(by nthiery):

 Replying to [comment:13 SimonKing]:
 > I wonder whether it wouldn't be better to build upon #10667. There,
 amongst other things, I try to separate `CategoryObject` from `SageObject`
 and remove some inappropriate category stuff from elements and morphisms.
 I think that this part of #10667 could help me to implement my approach.
 >
 > I suggest that ''I'' prepare my patch on top of #10667; you can of
 course do differently with the implementation of your approach.

 Sure, please take the easiest route for you! #10667 is already large
 enough, and I see the point of not introducing yet another dependency :-)

 Cheers,

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10668#comment:14>
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.

Reply via email to