This is not quite the same but it reminds me of Mitchell's embedding theorem.
This says that any small Abelian category is equivalent to a full subcategory of a category of $R$-modules. In particular, many facts about Abelian categories are can be reduced to questions of categories of $R$-modules. In particular, you can use diagram chases.
