Mitchellの埋め込み定理

　Mitchellの埋め込み定理は、環上の加群論をAbel圏論に適用する技法の一つである。任意の小Abel圏に対して、とある環 $\ring$ 上の加群圏への $\AbCat$-忠実充満かつ完全な関手 $\func{F}{\abelcat}{\ModCat{\ring}}$ が存在することを主張するものであり、この関手を通して元を取った議論が可能となる。