1. 概述

范畴论 中, 零态射 是在前后复合下保持为零的特殊态射. 在具有 零对象 的范畴中, 它由经零对象的唯一分解典范地产生.

2. 定义

定义 1 (零态射)

范畴. 若对每对对象 指定态射 , 并且任意可复合的态射 都满足:

则称这些态射为 零态射.

3. 例子

例子 2 (由零对象产生零态射)

范畴 具有 零对象 , 则复合 是从 零态射.

4. 相关性质

命题 3 (零态射的唯一性)

若一个 范畴 具有两套 零态射 , 则对任意 都有 .

5. 相关概念

6. 术语翻译

中文英文
零态射zero morphism

范畴论