定義
G：C → D を関手とする。
S を D-対象とする。
C-対象 X と D-射 f：S → G(X) の対 (f, X) のことを
S を定義域とする G-構造射(G-structured morphism)と言う。
これは圏 (S↓G) (過去スレ017の571) の対象に他ならない。