Jan 01, 1970
Autores:
(1) Wahei Hara;
(2) Yuki Hirano.
Este apéndice recuerda definiciones y propiedades fundamentales de las categorías de factorización derivada. Consulte [Pos, BFK1, BDFIK, Hir1, Hir3] para obtener más detalles.
donde W en el modelo LG izquierdo denota f ∗W por abuso de notación, y el funtor (AA) define el funtor derivado derecho
A continuación se muestra una versión equivariante y de factorización de una equivalencia basculante.
Lema A.6 ([BFK1, Proposición 3.20][1]). Supongamos que las secciones s y t ∗ son regulares. Luego hay isomorfismos
Este documento está disponible en arxiv bajo licencia CC0 1.0 DEED.
[1] Hay un error tipográfico en la última afirmación en loc. cit.