Mitchell's Embedding Theorem - Applications

Applications

Using the theorem we can treat every abelian category as if it is the category of R-modules concerning theorems about existence of morphisms in a diagram and commutativity and exactness of diagrams. Category theory gets much more concrete by this embedding theorem.