定義
湧き出し(>>713) S = (f_i：X → X_i)_I と射 f：Y → X に対して
Sf = (f_if：Y → X_i)_I と書き、f と S の合成と呼ぶ。