دالة قابلة للمحو

في الرياضيات، الدالة القابلة للمحو هي دالة جمعية F بين الفئتين التبديلية C و D، والتي يوجد من أجلها، لكل عنصر A في C ، شكل أحادي${\displaystyle u:A\to M}$، لبعض M ، بحيث${\displaystyle F(u)=0}$.

وبالمثل، فإن الدالة القابلة للمعاملات هي دالة يكون لكل A منها ، يوجد تحويل شامل إلى A يتم إلغاؤه بواسطة F. وقد تم تقديم هذه المفاهيم في ورقة غروتينديك توهوكو .

تنص نظرية غروتينديك على أن كل دالة دلتا قابلة للمحو (أي قابلة للمحو في كل درجة موجبة) هي دالة شاملة.

• معنى كلمة "efface" في "effaceable functor" و "injective effacement"