ミッチェルの埋め込み定理

3行要約

1. 任意の小さいアーベル圏が、ある加群の圏に埋め込めることを示す圏論の定理。
2. これにより、抽象的なアーベル圏の議論を具体的な加群の計算に置き換えることが可能になる。
3. 図式追跡などの証明手法を正当化する理論的基盤となっている。