定義
C を圏とする。
T = (g_i：Y → X_i)_I を C における湧き出し(過去スレ018の713)とする。
T は C における図式(過去スレ017の833)と見なせる。
このとき colim T (過去スレ018の847)を S の多重押し出し(multiple pushout)と言う。

これは射 f：Y → X と吸い込み(>>16) S = (f_i：X_i → X)_I の対 (S, f) で
各 i ∈ I に対して f = f_ig_i となるもので普遍性をもつものとして特徴付けられる。