simplicial set 3

http://www.math.jhu.edu/~eriehl/ssets.pdf

Setにおけるtensorについて。

X, Yを集合とし、XY = \coprod_X Yとする。

つまりXで添え字づけられたYの直和。

これはHom(XY, Z) = Hom(X, Hom(Y,Z))をみたす。