1. 概述 于 范畴论 中, 终对象 是从每个 对象 到它都恰有一个 态射 的对象. 它是 始对象 在 对偶范畴 中的对应概念. 2. 定义 定义 1 (终对象) 设 为 范畴. 称对象 为 终对象, 当对任意 , Hom-集 恰含一个元素. 3. 例子 例子 2 (单点集) 任意单点集都是 集合范畴 的 终对象, 因为从任意集合到单点集恰有一个 映射. 4. 相关性质 命题 3 (终对象在同构意义下唯一) 一个 范畴 的任意两个 终对象 唯一同构. 证明 4 (终对象在同构意义下唯一) 将 终对象 视为 对偶范畴 中的始对象, 再应用 始对象在同构意义下唯一. 5. 相关概念 始对象； 积. 6. 术语翻译 中文英文终对象terminal object 范畴论