ミッチェルの埋め込み定理
ミッチェルの埋め込み定理（ミッチェルのうめこみていり、）、あるいはフレイド・ミッチェルの定理 (Freyd–Mitchell theorem)、充満埋め込み定理 (full embedding theorem) は、アーベル圏についての結果である。定理が本質的に述べているのは、これらの圏はかなり抽象的に定義されるが実は加群のであるということである。この定理によりこれらの圏において元ごとの diagram chasing による証明を用いることができる。
正確なステートメントは以下のようになる： が小さなアーベル圏であれば、ある環 とある完全忠実充満関手 が存在する。（ただし は を持ち、可換とは限らない。また、 はすべての左 加群の圏である。）
関手 は と の充満部分圏の間の圏同値を、 で計算された核と余核が で計算された通常の核と余核に対応するように、与える。そのような同値は必ず加法的である。定理はしたがって本質的に次のことを言っている。 の対象は 加群と考えることができ、射は 線型写像と考えることができ、射の核、余核、完全列、和は加群の場合と同様に決定される。しかしながら、 における射影的対象と単射的対象は必ずしも射影的、単射的 加群と対応しているわけではない。