拉回是范畴论的基本概念之一推出的对偶概念,是一种特殊但重要的反向极限,在范畴论,同调代数,代数K理论,拓扑学与几何等学科中有重要的应用.本词条由"科普中国"科学百科词条编写与应用工作项目 审核 . 简介 对范畴 C 中的态射 的拉回是一对态射 满足 ,并且具有泛性性质:对C中任意态射 ,并且满足 ,存在唯一的态射 ,满足 ,即有交换图如下图所示. [1] 推出 [push out] 对范畴 C 中的态射 的推出是一对态射 满足 ,并且具有泛性性质:对C中任意态射 ,并且满足 ,存在唯一的态射 ,满足 ,即有交换图如下图所示.