SingleObj α is preadditive when α is a ring.

@[implicit_reducible]

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

Equations

• CategoryTheory.instPreadditiveSingleObj = { homGroup := inferInstance, add_comp := ⋯, comp_add := ⋯ }