1. 概述 于 范畴论 中, 恒同态射 是每个 对象 上对 态射复合 起单位作用的态射. 它是范畴公理的一部分, 而不要求对象本身具有元素. 2. 定义 定义 1 (恒同态射) 设 为 范畴, . 称态射 为 上的 恒同态射, 当对任意态射 与 都有： 3. 例子 例子 2 (集合范畴) 在 集合范畴 中, 集合 上的 恒同态射 是恒等映射 . 4. 相关性质 命题 3 (恒同态射的唯一性) 每个 对象 上的 恒同态射 是唯一的. 证明 4 (恒同态射的唯一性) 若 都是 恒同态射, 则 . 5. 相关概念 逆态射； 复合态射. 6. 术语翻译 中文英文恒同态射identity morphism 范畴论