Autoren:
(1) Wahei Hara;
(2) Yuki Hirano.
Dieser Anhang ruft Definitionen und grundlegende Eigenschaften abgeleiteter Faktorisierungskategorien in Erinnerung. Weitere Einzelheiten finden Sie unter [Pos, BFK1, BDFIK, Hir1, Hir3].
wobei W im linken LG-Modell durch Missbrauch der Notation f ∗W bezeichnet und der Funktor (AA) den rechten abgeleiteten Funktor definiert
Im Folgenden wird eine äquivariante und eine Faktorisierungsversion einer Neigungsäquivalenz gezeigt.
Lemma A.6 ([BFK1, Proposition 3.20][1]). Nehmen wir an, die Abschnitte s und t ∗ seien regulär. Dann gibt es Isomorphismen
Dieses Dokument ist auf arxiv unter der Lizenz CC0 1.0 DEED verfügbar .
[1] Die letztgenannte Behauptung in a. a. O. enthält einen Schreibfehler.