http://www.math.uchicago.edu/~may/BOOKS/gils.pdf
()_*:T \to STを定数関手とし、U:ST \to Tを0番目を対応させる関手とする。
このときHom(X,UY) \to Hom(X_*,Y)が定まる。
f:X \to UYからX_q \to Y_qをs_0^qfを対応させることでX_* \to Yが定まる。
g:UY \to Xであってgd_0=gd_1:Y_1 \to XであればY \to X_*がgd_0^qにより定まる。
F:T \to T'を関手とするとF_*:ST \to ST'が誘導される。
自然変換\mu:F \to Gから自然変換F_* \to G_*が誘導される。