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