図式 (圏論)
圏 C の任意の対象 A に対する定図式 (constant diagram) とは、 J の対象を全て A にうつし、射を全て A の恒等射にうつす図式をいう。定図式を表す記法として、下線を使うことがある。すなわち、C の対象 A に対する定図式は A と書く。
J が(小さい)離散圏の場合の J-型の図式とは、単に C の対象の添え字付けられた族を言う。これを使って極限を取ると積が得られ、余極限を取ると余積が得られる。特に、J が二対象離散圏の場合の極限は単に二項積である。
添字圏が J = -1 ← 0 → +1 のときの J-型図式、すなわち A ← B → C をスパン(英語版)と呼び、その余極限は押し出し(英語版)である。この図式で対象 B(および射 B → A と B → C)を「忘れる」(空にとる) 場合を考えると、図式は単なる二対象(Aと C からなる)離散圏で、その余極限は単なる二項余積になる。この例は、集合論的な添字集合の概念の図式の概念を用いた一般化の重要な方法論を示すものになっている。