消去可能な関数

数学において、消去可能関手は、アーベル圏CとDの間の加法関手 Fであり、C内の各オブジェクトAに対して、何らかのMに対して単射 が存在し、 となるものである。同様に、消去可能関手は、各Aに対して、 Fによって消去されるAへのエピモーフィズムが存在するものである。この概念は、グロタンディークの東北論文で導入された。 ${\displaystyle u:A\to M}$${\displaystyle F(u)=0}$

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

• 「effaceable functor」と「injective effacement」における「efface」の意味