定義
C を圏とする。
M を C の射からなる類(過去スレ017の323)とする。
M-射(過去スレ017の645)の任意の押し出し(>>135)が M-射であるとき
M を押し出しに関して安定(pushout stable)である、または
押し出しに関して閉じている(closed under the formation of pushouts)と言う。