押し出し
pushout。fibred coproduct。fibred sum。cocartesian square。amalgamated sum
射$ f:Z\to X,$ g:X\to Yの押し出しとは、可換圖式$ P\xleftarrow{i_1}X\xleftarrow{f}Z\xrightarrow{g}Y\xrightarrow{i_2}P,$ f;i_1=g;i_2を滿たす對象$ Pと射$ i_1,$ i_2の內で餘普遍的なものを言ふ 對象$ Pを$ X+_Z Yと書く
span$ X\xleftarrow{f}Z\xrightarrow{g}Yの餘極限