SingleObj α is preadditive when α is a ring.

instance CategoryTheory.instPreadditiveSingleObj {α : Type u_1} [Ring α] : Preadditive (SingleObj α)