Jan 01, 1970
Autores:
(1) Wahei Hara;
(2) Yuki Hirano.
Este apêndice relembra definições e propriedades fundamentais de categorias de fatoração derivadas. Consulte [Pos, BFK1, BDFIK, Hir1, Hir3] para obter mais detalhes.
onde W no modelo LG esquerdo denota f ∗W por abuso de notação, e o functor (AA) define o functor derivado à direita
O seguinte mostra uma versão equivariante e fatorada de uma equivalência inclinada.
Lema A.6 ([BFK1, Proposição 3.20][1]). Suponha que as seções s e t ∗ sejam regulares. Então existem isomorfismos
Este artigo está disponível no arxiv sob licença CC0 1.0 DEED.
[1] Há um erro de digitação na última afirmação no loc. cit.