Abelian categories, almost split sequences, and comodules

The following are equivalent for a skeletally small abelian Hom-finite category over a field with enough injectives and each simple object being an epimorphic image of a projective object of finite length.

(a) Each indecomposable injective has a simple subobject.

(b) The category is equivalent to the category of socle-finitely copresented right comodules over a right semiperfect and right cocoherent coalgebra such that each simple right comodule is socle-finitely copresented.

(c) The category has left almost split sequences.