А! Это интересный вопрос, ответ на который можно узнать, заглянув в цитированную (в предыдущем постинге) статью Я.-Э. Руса. Там, помимо Габбера, еще Рамеро упоминается.
В общем, есть такая наука "почти математика", almost mathematics. К моей науке "контра математике" довольно перпендикулярная. Она (почти математика) важна для арифметических приложений, от (придумавшего ее) Фальтингса до Шольце, для нужд которых (приложений) Габбер с Рамеро (правда, может быть, то другой Рамеро -- что-то я в них запутался) про нее целую книжку написали.
Так вот, в статье Руса объясняется, что категории почти модулей представляют собой интересный класс абелевых категорий (Гротендика), который можно даже охарактеризовать какими-то там условиями. В частности, как я понял, в этих категориях бесконечные произведения точны и на всякий объект имеется "стирающе проективный" эпиморфизм, но проективных объектов может и не быть.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2018-01-02 09:01 pm (UTC)В общем, есть такая наука "почти математика", almost mathematics. К моей науке "контра математике" довольно перпендикулярная. Она (почти математика) важна для арифметических приложений, от (придумавшего ее) Фальтингса до Шольце, для нужд которых (приложений) Габбер с Рамеро (правда, может быть, то другой Рамеро -- что-то я в них запутался) про нее целую книжку написали.
Так вот, в статье Руса объясняется, что категории почти модулей представляют собой интересный класс абелевых категорий (Гротендика), который можно даже охарактеризовать какими-то там условиями. В частности, как я понял, в этих категориях бесконечные произведения точны и на всякий объект имеется "стирающе проективный" эпиморфизм, но проективных объектов может и не быть.