1. 概述

于 范畴论 中, 图表 是以一个指标 范畴 组织起来的一族对象与态射. 它把序列、平行箭头、交换方块等形状统一成函子.

2. 定义

定义 1 (图表)

设 为 范畴. 称 函子 为一个形状为 、取值于 的 图表.

3. 例子

例子 2 (并行箭头图表)

令 有两个对象及两条从第一个对象到第二个对象的 并行态射. 则一个 图表 正是一对并行态射 .

4. 相关性质

命题 3 (函子改变图表的取值范畴)

若 为 图表, 为 函子, 则 也是同一形状的图表.

5. 相关概念

6. 术语翻译

中文英文
图表diagram

范畴论