押し出し
pushout。fibred coproduct。fibred sum。cocartesian square。amalgamated sum
Pushout (category theory) - Wikipedia
pushout in nLab
転送作用素 - Wikipedia (transfer operator)
Direct image functor - Wikipedia
射$ 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の餘極限
https://ja.wikipedia.org/wiki/図式_(圏論)#:~:text=→%20C%20を-,スパン,-（英語版
Span (category theory) - Wikipedia
span in nLab
餘 span (cospan)
cospan in nLab
←→引き戾し