1. 概述

范畴论 中, 零对象 是同时为 始对象终对象 的对象. 它使任意两个对象之间获得一条典范的 零态射.

2. 定义

定义 1 (零对象)

范畴. 若对象 同时是 始对象终对象, 则称 零对象.

3. 例子

例子 2 (群范畴)

4. 相关性质

命题 3 (零对象在唯一同构意义下唯一)

任意两个 零对象 唯一同构.

5. 相关概念

6. 术语翻译

中文英文
零对象zero object

范畴论