Abelian category

Additive with kernels, cokernels, mono = ker of coker, epi = coker of ker. Freyd-Mitchell: small abelian embeds in R-Mod. Derived functors live here.