http://ambp.cedram.org/cedram-bin/article/AMBP_2003__10_2_195_0.pdf
Theoreme 2.7
(M,W)をlocalsateurとし、A \in Diaについて(M(A),W_A,Fib_A,Cof_A)がmodel catで以下を満たすとする。
- 任意のA \in DiaについてMはA^opを図式とするlimitを持つ
- 任意のu:A \to B \in Diaについてu^*:M(B) \to M(A)はcofibを保つ
- 任意のu:A \to Bと任意のb \in Bについて、忘却関手j:A/b \to Aの定めるj^*:M(A) \to M(A/b)はfibrationを保つ
このときD_(M,W)\vert_Diaはderivateur faible a gaucheである。