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