Let $\mathcal{X}$ be an additive full subcategory of an abelian category. It is a classical fact that if $\mathcal{X}$ is contravariantly finite. then the category $\mathsf {mod}\. \mathcal{X}$ of finitely presented right $\mathcal{X}$-modules is abelian. https://www.ealisboa.com/flash-grab-Hellfire-Sloe-Gin-special-find/