18E05 - Category theory; homological algebra :: Abelian categories :: Preadditive, additive categories