射的限制formula_3与formula_4映到"X"× "Y"。而"p"与"p"是自然投影。这说明拉回在任何具有二元积和等化子的范畴中存在。事实上，由极限存在定理，在具有有终对象、二元积和等化子的范畴中所有有限极限存在。拉回的另一个例子来自纤维丛理论：给定一个纤维映射π : "E" → "B"以及一个连续映射"f" : "X" → "B"，拉回 "X" × "E"是"X"上的纤维丛，称为拉回丛。伴随的交换图表是纤维丛映射。在任何具有终对象"Z"的范畴中，拉回"X" × "Y"恰好是普通积"X