→ "Y"组成，使得图表交换。并且拉回("P", "p", "p")对这个图表必须是通用的。这便是说，任何其它这样的三元组("Q", "q", "q")一定存在惟一的"u" : "Q" → "P"使得图表交换。和所有泛构造一样，拉回如果存在必然在同构的意义下是惟一的。
弱拉回.一个cospan "X" → "Z" ← "Y"的弱拉回是在cospan上面的锥只须满足弱泛性质，这就是说中间映射"u" : "Q" → "P"不必是惟一的。
例子.在集合范