拉回

拉回是範疇論的基本概念之一推出的對偶概念，是一種特殊但重要的反向極限，在範疇論、同調代數、代數K理論、拓撲學與幾何等學科中有重要的套用。

基本介紹

• 中文名：拉回
• 外文名：pullback
• 適用範圍：數理科學

簡介

對範疇 C 中的態射的拉回是一對態射滿足 ，並且具有泛性性質：對C中任意態射，並且滿足，存在唯一的態射，滿足，即有交換圖如下圖所示。

圖1.拉回交換圖

推出

【push out】

對範疇 C 中的態射的推出是一對態射滿足，並且具有泛性性質：對C中任意態射，並且滿足，存在唯一的態射，滿足，即有交換圖如下圖所示。

圖2.推出交換圖