在范畴论中，一个数学分支，拉回（也称为纤维积或笛卡尔方块）是由具有公共上域的两个态射"f" : "X" → "Z"与"g" : "Y" → "Z"组成的图表的极限。拉回经常写作
泛性质.明确地说，态射"f"和"g"的拉回由一个对象"P"和两个态射"p" : "P" → "X"与"p" : "P" → "Y"组成，使得图表交换。并且拉回("P", "p", "p")对这个图表必须是通用的。这便是说，任何其它这样的三元组("Q", "q", "q")一定存在惟一的"u" : "Q