This is the prototype of an abelian category: indeed, every small abelian category can be embedded in Ab.
Является прототипом абелевой категории., в действительности, любая малая абелева категория может быть вложена в Ab.