" → "Z"与"g" : "Y" → "Z"组成的图表的极限。拉回经常写作
泛性质.明确地说，态射"f"和"g"的拉回由一个对象"P"和两个态射"p" : "P" → "X"与"p" : "P" → "Y"组成，使得图表交换。并且拉回("P", "p", "p")对这个图表必须是通用的。这便是说，任何其它这样的三元组("Q", "q", "q")一定存在惟一的"u" : "Q" → "P"使得图表交换。和所有泛构造一样，拉回如果存在必然在同构的意义下是惟一的。Sec