1. 概述 于 范畴论 中, 零对象 是同时为 始对象 与 终对象 的对象. 它使任意两个对象之间获得一条典范的 零态射. 2. 定义 定义 1 (零对象) 设 为 范畴. 若对象 同时是 始对象 与 终对象, 则称 为 零对象. 3. 例子 例子 2 (群范畴) 平凡群 是 群范畴 的 零对象. 4. 相关性质 命题 3 (零对象在唯一同构意义下唯一) 任意两个 零对象 唯一同构. 证明 4 (零对象在唯一同构意义下唯一) 由 始对象在同构意义下唯一, 两个 零对象 唯一同构;终对象性质给出同一结论. 5. 相关概念 零态射; 核. 6. 术语翻译 中文英文零对象zero object 范畴论