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