En mathématiques, un foncteur effaçable est un foncteur additif F entre catégories abéliennes C et D pour lequel, pour chaque objet A de C, il existe un monomorphisme , pour un certain M, tel que .
De la même manière, un foncteur coeffaçable est un foncteur pour lequel, pour chaque A, il existe un épimorphisme vers A dans le kernel de F. Ces notions ont été introduites dans l'article de Grothendieck à Tohoku.
Un théorème de Grothendieck affirme que tout δ-foncteur effaçable (c'est-à-dire effaçable dans chaque degré positif) est universel.
Bibliographie .
Notes et références
Liens externes
Catégorie:Foncteur