Abelian categories, almost split sequences, and comodules

The following are equivalent for a skeletally small abelian Hornfinite 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.