Jan 01, 1970
Yazarlar:
(1) Wahei Hara;
(2) Yuki Hirano.
Bu ek, türetilmiş çarpanlara ayırma kategorilerinin tanımlarını ve temel özelliklerini hatırlatır. Daha fazla ayrıntı için bkz. [Pos, BFK1, BDFIK, Hir1, Hir3].
sol LG modelindeki W, gösterimin kötüye kullanılması nedeniyle f ∗W'yi belirtir ve işlev (AA), sağdan türetilmiş işlevi tanımlar
Aşağıda devirme denkliğinin bir eşdeğeri ve çarpanlara ayırma versiyonu gösterilmektedir.
Lemma A.6 ([BFK1, Önerme 3.20][1]). s ve t ∗ bölümlerinin düzenli olduğunu varsayalım. Sonra izomorfizmler var
Bu makale arxiv'de CC0 1.0 DEED lisansı altında mevcuttur .
[1] Loc'taki ikinci iddiada bir yazım hatası var. alıntı.