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