Математико-психологическое

[posic]

Важнейшими результатами абстрактной теории категорий являются общие теоремы существования представляющих объектов и, соответственно, сопряженных функторов. Совсем другие, но аналогичные теоремы существования имеются в абстрактной теории триангулированных категорий.

Теорию категорий я люблю. Неконструктивными процедурами, сильно повышающими мощность множеств, охотно пользуюсь, например, в контексте построения инъективных резольвент модулей над произвольными кольцами. Почему же меня так смущают и пугают эти теоремы существования функторов, особенно в применении к конкретным интересующим меня категориям?

К этому можно добавить, что теорема Гротендика о существовании инъективных объектов, основанная на трансфинитной индукции, смущает почему-то гораздо сильнее, чем явные конструкции инъективных объектов, использующие бесконечные произведения. Вообще все теоретико-категорные вопросы, упирающиеся в различие между множеством и классом, сильно огорчают почему-то.

Видимо, это психологический порог, связанный с уровнями абстракции. Объекты и морфизмы хочется рассматривать произвольные, категории и функторы -- конкретно заданные.

Comments

[posic.livejournal.com]

Я вообще избегаю называть в ЖЖ фамилии, как можно заметить, кроме разве что людей очень знаменитых, и особенно фамилии знакомых. Как-то кто-то пожаловался мне, что при поиске на его фамилию в поисковой системе выскакивает мой постинг, то ли коммент, в ЖЖ, ну вот с тех пор я и. Но фамилию Х.К. можно найти, пройдя по ссылке в моем постинге чуть ниже.

Ссылки:
1. Alonso Tarrío, Leovigildo; Jeremías López, Ana; Souto Salorio, María José. Localization in categories of complexes and unbounded resolutions. Canad. J. Math. 52 (2000), no. 2, 225--247.
2. http://arxiv.org/abs/0806.1324

[sowa.livejournal.com]

Понятно - насчет фамилий.

Спасибо за ссылки.

(с запозданием)

[posic.livejournal.com]

Вот еще одна ссылка: Weibel, An introduction to homological algebra, Proposition 10.4.4.

Re: (с запозданием)

[sowa.livejournal.com]

Спасибо!

[roma.livejournal.com]

ага, попробуй сделать поиск на мою фамилию по-русски :)