Mitchell's embedding theorem, also known as the Freyd–Mitchell theorem, is a result stating that every small abelian category admits a full and exact embedding into the category of R-modules. This allows one to use element-wise diagram chasing proofs in arbitrary abelian categories.
Read more about Mitchell's Embedding Theorem: Applications, Sketch of The Proof
Famous quotes containing the words mitchell and/or theorem:
“Every formula which expresses a law of nature is a hymn of praise to God.”
—Maria Mitchell (1818–1889)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)