図式 (圏論)
つまり、射 B → A と B → C が含まれていることによって、図式から作られる構成に追加の構造を持たせることが可能となる。単なる集合を添え字にした場合、対象の間の関係を持っていないため、このような構造を表現することはできない。
添字圏が J = -1 → 0 ← +1 に対する J-型図式 A → B ← C は余スパン(英語版)と言い、その極限を引き戻しと呼ぶ。
添字圏 J = 0 ⇉ 1 {\displaystyle J=0\rightrightarrows 1} は「2つの平行射」やときには自由箙やwalking quiverと呼ばれる。J-型図式 f, g: X → Y は箙となり、極限は等化子であり、余極限は余等化子である。
圏 J を半順序集合圏とするとき、J-型の図式は対象の族 Di であって、i ≤ j に限り必ず唯一の射 fij: Di → Dj があるようなものになる。J が有向であるとき、J-型の図式は対象と射からなる直系という。図式が反変関手である場合は逆系である。