Стираемый функтор
В математике стираемый функтор — это аддитивный функтор F между абелевыми категориями C и D , для которого для каждого объекта A в C существует мономорфизм , для некоторого M такого, что . Аналогично, коэффицируемый функтор — это тот, для которого для каждого A существует эпиморфизм в A который уничтожается F. , Гротендика « Эти понятия были представлены в статье Тохоку» .
Теорема Гротендика утверждает, что каждый стираемый δ-функтор (т. е. стираемый в каждой степени) универсален.
Ссылки [ править ]
- Хартсхорн, Робин (1977), Алгебраическая геометрия , Тексты для аспирантов по математике , том. 52, Нью-Йорк: Springer-Verlag, ISBN. 978-0-387-90244-9 , МР 0463157