定義
G：C → D を関手とする。
S を D-対象とする。
f：S → G(X) を G-構造射(>>11)とする。
C-射 r：X → Y、s：X → Y に対して G(r)f = G(s)f であれば常に r = s となるとき
f を生成的(generating)と呼ぶ。