This is an abelian category.
Esta é unha categoría abeliana.