在范畴论中，一个数学领域， 推出（也称为纤维余积、纤维和、共合和或余笛卡尔方块）是由具有公共定义域的两个态射 "f" : "Z" → "X" 与 "g" : "Z" → "Y" 组成的图表的余极限。推出是拉回的范畴对偶。
泛性质.明确地说，态射 "f" 与 "g" 的推出由一个对象 "P" 和两个态射 "i" : "X" → "P" 与 "i" : "Y" → "P" 组成，使得图表交换：并且，推出 ("P", "i", "i") 关于这个图表必须是通用的。这就是说，任何其