図式 (圏論)

集合論における添え字付き集合族に類似した概念が、圏論における図式である。一番の違いは、圏論では射にも添え字を付ける必要があることである。添え字付き集合族は、ある固定した集合で添え字付けた集合の集まりのことであり、これは、固定した添え字集合から集合全体のクラスへの関数のことであると言っているのと同じである。これに対して、図式は、ある固定した圏で添え字付けた対象と射の集まりのことであり、固定した添え字圏からある圏への関手のことであると言うこともできる。

図式は極限と余極限の定義において中心となる概念であり、とも関連している。

定義 
圏  上の -型 (-type) の図式とは、共変関手
 
のことをいう。この圏  のことをこの図式の添字圏 (index category) やシェーマ（schema; scheme, スキーム）と呼ぶ。逆に関手のことを -型の図式と呼ぶこともある。  の対象や射自体にはたいした意味はなく、それらがどのように繋がっているかが重要となる。図式  は  をパターンとして、 の対象と射の集まりに添え字付けていると考えることもできる。

形式上は、図式と関手、スキームと圏の間にはなんの違いもない。集合論の場合と同様に、用語を使い分けることでものの見方を変えているだけである。つまり、添え字の圏を固定して、関手(とその余ドメイン)を変化させようとしているときに図式と呼ぶのである。

よく使われる図式では、添え字圏  は小さい圏や有限である。このとき、図式は小さいとか有限であるという。

圏  上の -型図式の射とは、これら関手の間の自然変換をいう。これは  上の -型図式の圏というものを関手圏  として、したがって図式をこの圏の対象として解釈するというふうに言うこともできる。

例
 圏  の任意の対象  に対する定図式 (constant diagram) とは、  の対象を全て  にうつし、射を全て  の恒等射にうつす図式をいう。定図式を表す記法として、下線を使うことがある。すなわち、 の対象  に対する定図式は  と書く。
  が(小さい)離散圏の場合の -型の図式とは、単に  の対象の添え字付けられた族を言う。これを使って極限を取ると積が得られ、余極限を取ると余積が得られる。特に、 が二対象離散圏の場合の極限は単に二項積である。
 添字圏が  のときの -型図式、すなわち  をと呼び、その余極限はである。この図式で対象 （および射  と ）を「忘れる」(空にとる) 場合を考えると、図式は単なる二対象（と  からなる）離散圏で、その余極限は単なる二項余積になる。この例は、集合論的な添字集合の概念の図式の概念を用いた一般化の重要な方法論を示すものになっている。つまり、射  と  が含まれていることによって、図式から作られる構成に追加の構造を持たせることが可能となる。単なる集合を添え字にした場合、対象の間の関係を持っていないため、このような構造を表現することはできない。
 添字圏が  に対する -型図式  はと言い、その極限を引き戻しと呼ぶ。
 添字圏  は「2つの平行射」やときには自由箙やwalking quiverと呼ばれる。-型図式  は箙となり、極限は等化子であり、余極限は余等化子である。
 圏  を半順序集合圏とするとき、-型の図式は対象の族  であって、 に限り必ず唯一の射  があるようなものになる。 が有向であるとき、-型の図式は対象と射からなる直系という。図式が反変関手である場合は逆系である。

錐と極限
図式  に関する頂点  を持つ錐とは、定図式  から  への射を言う。この定図式は、 の対象をすべて  の対象  にうつし、射は全て  の恒等射にうつす。

図式  の極限とは、 への普遍錐のことである。これは錐が他のどの錐についても、この錐を経由して一意に分解されることをいう。任意の -型図式が  内に極限を持つとき、図式を極限にうつす関手
 
が得られる。

双対として、図式  の余極限は  からの普遍錐である。任意の -型図式が余極限を持つとき、図式を余極限にうつす関手
 
が得られる。

可換図式 

図式や関手圏を可換図式の形で可視化することがよくあり、とくに、添え字圏がほとんど要素のない有限な半順序の場合に行われる。次の手順で可換図式を描く。添え字圏の各対象に対して節点を書く。各射については矢印を書くが、恒等射や他の射の合成で表せるものは省略する。可換性は圏が半順序であり、2つの対象の間の射が一意であることと対応している。逆にすべての可換図式はこの方法で図式(半順序である添え字圏からの関手)によって表現できる。

全ての添え字圏が半順序ではないことから、全ての図式も可換ではない。もっとも簡単な例として、1つの対象と1つの自己射  からなる図式や、2つの平行射(; )を持つ図式は必ずしも可換ではない。さらに、無限の場合は描くことは不可能であるし、対象や射が多すぎる場合は非常に面倒になる。この場合でも、可換図式のパターンを(添え字圏の部分圏や「…」などを利用して)描くことによって複雑な図式を理解しやすくすることができる。

関連項目 
 帰納極限
 射影極限

参考文献

 Now available as free on-line edition (4.2MB PDF).
  Revised and corrected free online version of Grundlehren der mathematischen Wissenschaften (278) Springer-Verlag, 1983).

外部リンク 
 Diagram Chasing at MathWorld
 WildCats is a category theory package for Mathematica. Manipulation and visualization of objects, morphisms, commutative diagrams, categories, functors, natural transformations.

圏論
数学に関する記事