1. 概述

于 范畴论 中, 满态射 是 集合论 中将 满射 可被 右消除 提取出来, 并加以推广.

2. 定义

定义 1 (满态射)

设 为 范畴, 对象 以及态射 , 定义:

为满态射

记号 2 (满态射)

满态射 也记为 .

注记 3 (图表观察)

若以图表 观察 满态射 的定义, 即 可从复合等式右侧消去.

3. 例子

4. 相关性质

5. 相关概念

6. 术语翻译

中文英文
满态射epimorphism