http://www.math.jhu.edu/~eriehl/ssets.pdf 昨日までの構成を振り返る。 F:\Delta \to Eに対し、R:E \to sSetをe \mapsto Re = (n \mapsto E(Fn, e))により定める。 これは左随伴L:sSet \to Eを持つ、つまりsSet(LX, e) = E(X, Re)がX, eについて自然に成り…