1. 概述

范畴论 中, 范畴态射复合映射 复合 的推广.

2. 定义

定义 1 (复合态射)

范畴, , 态射 以及 , 定义它们的 复合 为以下态射:

因此 .

记号 2 (复合态射)

无歧义时, 复合态射 简记为 .

注记 3 (图表观察)

通常这样的 定义 1 (复合态射) 可用 交换图表 的方式观察, 例如 Xy-pic 交换图.

3. 例子

4. 相关性质

5. 相关概念

6. 术语翻译

中文英文
复合态射composition of morphism