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