单态射 (monomorphism)

按作者与版本查阅

以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示；最早位置不代表全书首次定义。

已登记出处中的最早位置：§1.7 · zh-CN。

位置	语言	登记角色
§1.7	zh-CN · 英文上下文	术语出现；位于定义入口环境中

来源短摘录与定位

§1.7 · zh-CN · translation · unreviewed

单态射 · 左可消去

$φ : A \to B$ 是单态射(monomorphism)，若对任意对象 $X$ 及 $α, α^{'} : X \to A$ ，
$φ \circ α = φ \circ α^{'} ⟹ α = α^{'} .$

满态射 · 右可消去

$φ : A \to B$ 是满态射(epimorphism)，若对任意对象 $X$ 及 $β, β^{'} : B \to X$ ，
$β \circ φ = β^{'} \circ φ ⟹ β = β^{'} .$

来源覆盖、定位与记录

索引保留所有已登记出处，不受模型材料包八小节限额影响。中英上下文按已登记的书、版次与小节配对，不冒充另一语言的概念定义。没有穷尽全书未标记的术语；程序校验不提升原著或译文审阅资格。

登记位置 1；当前可定位出现 1。

永久身份：urn:uuid:db9228a3-e5a9-49b1-b8d6-6fe8691929c2。