Esta es una categoría abeliana.