消去可能な関数

数学において、消去可能関手とは、アーベル範疇CとDの間の加法関手Fであり、 C内の各オブジェクトAに対して、何らかのMに対して単射が存在し、となります。 $u:A\to M$ $F(u)=0$

同様に、係数可能関手とは、任意のAに対して、 Fによって消滅するAへのエピモーフィズムが存在する関手である。この概念は、グロタンディークの東北論文で導入された。

グロタンディークの定理によれば、すべての消去可能なδ 関数(つまり、各正の次数で消去可能なもの) は普遍的である。

参考文献

ハーツホーン、ロビン（1977）、代数幾何学、大学院数学テキスト、第52巻、ニューヨーク：シュプリンガー・フェアラーク、ISBN 978-0-387-90244-9、MR 0463157

この圏論関連の記事はスタブです。不足している情報を追加することで、Wikipedia に貢献できます。