1. 概述 于 范畴论 中, 态射 的 态射的缩回 是 的左逆. 该名词来自于 一般拓扑学 中的 缩回. 2. 定义 定义 1 (态射的缩回) 设 为 范畴, 对象 以及 态射 . 若态射 满足： 则称 为 的 态射的缩回, 其中 为 的 恒同态射. 3. 例子 详情请参阅 截面, 缩回与分裂态射的例子. 4. 相关性质 5. 相关概念 截面 (对偶概念) 分裂单态射 6. 术语翻译 中文英文缩回retraction