Mitchell's embedding theorem

Mitchell's embedding theorem, also known as the Freyd–Mitchell theorem or the full embedding theorem, is a result about small abelian categories; it states that these categories, while abstractly defined, can be represented as concrete categories whose objects are modules. In particular, the result allows one to use element-wise diagram chasing proofs in abelian categories. The theorem is named after Barry Mitchell and Peter Freyd.