1. 概述 于 范畴论 中, 范畴 中 态射 的 复合 是 映射 复合 的推广. 2. 定义 定义 1 (复合态射) 设 为 范畴, , 态射 以及 , 定义它们的 复合 为以下态射: 因此 . 记号 2 (复合态射) 无歧义时, 复合态射 简记为 . 注记 3 (图表观察) 通常这样的 复合态射 可用 交换图表 的方式观察, 例如 \vcenter{\xymatrix{A \ar@{->}[rd]_{g \circ f} \ar@{->}[r]^{f} & B \ar@{->}[d]^{g} \ & C}}. 3. 例子 4. 相关性质 5. 相关概念 映射复合 6. 术语翻译 中文英文复合态射composition of morphism