Mitchell's embedding theorem

Abelian categories, while abstractly defined, are in fact concrete categories of modules