http://www.math.uchicago.edu/~may/BOOKS/gils.pdf
B_*(C,C,X)はXのsimplicial resolutionになっている。
つまり、CをTのモナドとしXをC代数とする。
このとき、\epsilon:B_*(C,C,X) \to X_*と\eta:X_* \to B_*(C,C,X)が定まり、\epsilon\eta=1である。
h:B_q(C,C,X) \to B_{q+1}(C,C,X)をh_i=s_0^i\etad_0^iで定めると、これがid_{B_*(C,C,X)}と\tau\epsilonのホモトピーになり、h_i\tau_q=\tau_{q+1}となる。
したがってX_*はB_*(C,C,X)のSTにおけるstrong deformation retractである。
同様にFとCを固定して、関手Y \mapsto B_*(F,C,CY)はFのsimplicial resolutionである。
