http://www.math.jhu.edu/~eriehl/ssets.pdf 昨日の議論から、XとFのcoendを取ることで定まる関手L:sSet \to Eは特にL[n] = F[n]となることがわかった。 よってE(L[n], e) = E(F[n], e) = (Re)n = sSet([n], Re)となる。 したがってLとRは互いに随伴であるこ…