推出_(範疇論)

在範疇論中 ， 一個數學領域 ， 推出 （ 也稱爲纖維餘積 、 纖維和 、 共合和或餘笛卡爾方塊 ） 是由具有公共定義域的兩個態射 f: Z → X 與 g: Z → Y 組成的圖表的餘極限 。 推出是拉回的範疇對偶 。