http://ambp.cedram.org/cedram-bin/article/AMBP_2003__10_2_195_0.pdf Derivateur faible a gaucheとは - I, J \in Diaに対しD(I \coprod J) \to D(I) \times D(J)が同値になり、D(\empty)が一点と同値 - 任意のA \in Diaに対し、a \in Aにより定まるa^*:D…