单态射

1. 概述

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

2. 定义

定义 1 (单态射)

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

记号 2 (单态射)

单态射 也记为 .

注记 3 (图表观察)

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

3. 例子

4. 相关性质

5. 相关概念

• 满态射 (对偶概念)
• 分裂单态射

6. 术语翻译

中文	英文
单态射	monomorphism