Как доказывать, что триангулированный функтор вполне строгий

[posic]

Можно вот как: пусть точный функтор между триангулированными категориями консервативен (отражает изоморфизмы, или, что то же самое, переводит ненулевые объекты в ненулевые). Тогда если он сюръективен на морфизмах, то он также и инъективен на морфизмах.

(Это я посмотрел статью Д.О. про особенности и модель Ландау-Гинзбурга. Ну, что сказать? Там, конечно, само собой напрашивается рассмотрение неаффинного случая и производной категории второго рода, но превратить это в теорему мне не удается -- похоже, мое понимание алгебраической геометрии недостаточно.)

Comments

[posic.livejournal.com]

Кстати сказать, поскольку ты когда-то спрашивал, как точно сформулировать однородную кошулеву двойственность, у меня теперь про это написано в тексте, который выложен на http://positselski.narod.ru (в более коротком из двух). В архивной версии этого нет пока еще, но через сколько-то времени архивная версия обновится и тогда это там будет.