On May 19, 7:50 am, John H Palmieri <jhpalmier...@gmail.com> wrote:
> A category in which Hom sets form abelian groups and in which you have > finite direct sums is an "additive category". An "abelian category" > is one (By "one", I mean an additive category) > in which, loosely speaking, you have well-behaved short exact > sequences: every monomorphism fits into a short exact sequence, and > every epimorphism fits into a short exact sequence. Wikipedia has a > reasonable definition, I think. --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
