  We prove that any rigid additive symmetric monoidal category can be mapped to
a rigid abelian symmetric monoidal category in a universal way. This yields a
novel approach to Grothendieck's standard conjecture D and Voevodsky's smash
nilpotence conjecture.
