void a conflict, I will integrate this into the category patch. > > Now, I'd like to make sure we have the samething in mind: currently in > my patch an AbelianCategory is a category with a direct sum operation > on the objects.
Yes. Having (finite) direct sums is part of the definition of an abelian category. Regards, Michel --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---