Jan 01, 1970
Авторы:
(1) Вахей Хара;
(2) Юки Хирано.
В этом приложении вспоминаются определения и фундаментальные свойства производных категорий факторизации. Более подробную информацию см. в [Pos, BFK1, BDFIK, Hir1, Hir3].
где W в левой модели LG обозначает f ∗W, злоупотребляя обозначениями, а функтор (AA) определяет правый производный функтор
Ниже показаны эквивариантная и факторизационная версия наклонной эквивалентности.
Лемма П.6 ([БФК1, предложение 3.20][1]). Предположим, что сечения s и t∗ регулярны. Тогда существуют изоморфизмы
Этот документ доступен на arxiv под лицензией CC0 1.0 DEED.
[1] В последнем утверждении в лок. цит.