1. 概述 于 范畴论 中, 图式 是以一个指标 范畴 组织起来的一族对象与态射. 它把序列、平行箭头、交换方块等形状统一成函子. 2. 定义 定义 1 (图式) 设 为 范畴. 称 函子 为一个形状为 、取值于 的 图式. 3. 例子 例子 2 (并行箭头图式) 令 有两个对象及两条从第一个对象到第二个对象的 并行态射. 则一个 图式 正是一对并行态射 . 4. 相关性质 命题 3 (函子改变图式的取值范畴) 若 为 图式, 为 函子, 则 也是同一形状的图式. 证明 4 (函子改变图式的取值范畴) 复合函子仍保持 恒同态射 与 态射复合, 故所得函子仍是 图式. 5. 相关概念 锥； 余锥. 6. 术语翻译 中文英文图式diagram 范畴论