1. 概述 于 范畴论 中, 单同态 (或称为 单态射) 是 集合论 中将 单射 可被 左消除 提取出来, 并加以推广. 2. 定义 定义 1 (单同态) 设 为 范畴, 对象 以及态射 , 定义： 为单同态 记号 2 (单同态) 单同态 也记为 . 注记 3 (图表观察) 若以图表 观察 单同态 的定义, 即 可从复合等式左侧消去. 3. 例子 4. 相关性质 5. 相关概念 满同态 (对偶概念) 分裂单同态 6. 术语翻译 中文英文单同态 / 单态射monomorphism