#10667: Morphisms and Objects of Categories
----------------------------------+-----------------------------------------
   Reporter:  SimonKing           |          Owner:  nthiery                    
  
       Type:  enhancement         |         Status:  needs_work                 
  
   Priority:  major               |      Milestone:  sage-5.0                   
  
  Component:  categories          |       Keywords:  objects morphisms 
containment
Work_issues:  Cartesian products  |       Upstream:  N/A                        
  
   Reviewer:                      |         Author:  Simon King                 
  
     Merged:                      |   Dependencies:  #9138, #11115, #11780      
  
----------------------------------+-----------------------------------------

Comment(by SimonKing):

 I have a patch at #11780 that solves the problem. I am thus also
 submitting my current patch on morphisms and objects. It contains many new
 features that I will describe later. It is still "needs work", since the
 patch contains some uncommented code that should eventually be deleted,
 and since there will certainly be a couple of "trivial" doctest errors,
 namely for tests that concern the super categories of a category (I had to
 re-order the super categories in order to get the method resolution orders
 right).

 But if you want to play with it: Go ahead (and don't forget to apply
 #11780 first...).

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