分裂满态射

1. 概述

分裂满态射 是带有 截面 的 满态射 , 即是说存在一个 的 右逆 态射 使得 成立, 因此亦可等价地理解为 是 左逆, 即 是 的 缩回.

2. 定义

定义 1 (分裂满态射)

设 为 范畴, 对象 , 称 态射 为 分裂满态射, 当其存在 截面 .

3. 例子

详情请参阅 截面, 缩回与分裂态射的例子.

4. 相关性质

命题 2 (分裂满态射的良好性质)

所有 分裂满态射 皆是：

1. 满态射;
2. 正则满态射;
3. 强满态射;
4. 极满态射.

命题 3 (所有函子皆保有分裂满态射)

所有 函子 皆保有 分裂满态射.

命题 4 ( 为同构 单且为分裂满态射)

设 为 范畴 以及 , 则 态射 是 同构 为 单态射 且为 分裂满态射.

5. 相关概念

• 截面, 缩回
• 分裂单态射 (对偶概念)

6. 术语翻译

中文	英文
分裂满态射	split epimorphism

范畴论