1. 概述

于 范畴论 中, 幂等态射 是将 线性代数 中 投影 的推广.

2. 定义

定义 1 (幂等态射)

设 为 范畴, 对象 , 称 自态射 为 幂等态射, 当其满足了:

而 幂等态射 的 分裂 则是一个 -元组 , 且 使得以下条件成立:

3. 例子

4. 相关性质

5. 相关概念

6. 术语翻译

中文英文
幂等态射idempotent morphism
分裂splitting

范畴论