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 …