http://www.math.jhu.edu/~eriehl/ssets.pdf sSetがcartesian closedであることを示す。 Y \in sSetに対し、Yとの積をとる関手sSet \to sSet X \maspto X \times Yが左随伴を持つことを示す。 F:\Delta \to sSet [n] \to n \times Yに対して互いに随伴な関手…