Стираемый функтор
- Стираемый функтор — аддитивный функтор между абелевыми категориями C и D, для которого существует мономорфизм u:A→M, такой, что F(u)=0.
- Множимый функтор — тот, для которого существует эпиморфизм в A, который уничтожается F.
- Теорема Гротендика утверждает, что каждый стираемый δ-функтор является универсальным.
Полный текст статьи: