集合圏における多項式関手の定義に、次の図式（多項式関手の表現図〈representing diagram〉）が登場します。$`\quad\xymatrix{ I & B \ar[l]_{s} \ar[r]^{p} & A \ar[r]^{t} & J }\text{ in }{\bf Set}`$なんでこれが多項式関手の定義なんだ？ と思います。…