" → "Y" 组成的图表的余极限。推出是拉回的范畴对偶。
泛性质.明确地说，态射 "f" 与 "g" 的推出由一个对象 "P" 和两个态射 "i" : "X" → "P" 与 "i" : "Y" → "P" 组成，使得图表交换：并且，推出 ("P", "i", "i") 关于这个图表必须是通用的。这就是说，任何其它这样的三元组 ("Q", "j", "j")，一定存在一个惟一的 "u" : "P" → "Q" 使得如下图表交换：和所有泛构造一样，推出如果存在，则在差