以下、「集合」「写像」は、前回までに準備した、拡張された意味で用いるものとします。
圏を構成するもの
圏(category)は、以下のようなものによって構成されます。
これらの構成物が
- (結合律)
なる性質を満たしているとき、系 のことを圏(category)と言い、 と書きます。
圏 において、対象間の射の集合を定める写像 を用意しておくことにします。これを用いると、1 番目の条件は であることを、また 2 番目の条件は であることを言っているのと同じです。
「たったこれだけ !?」と思うかもしれませんが、これだけです。これだけなのですが、これだけのことからいろいろなことが分かってしまうのが圏論の不思議です。代表的な圏は
です。以下、この代表的な二つの圏を思い浮かべながら、先の話を読み進めると、イメージが思い浮かびやすいと思います。
小さな圏
圏には対象の集合と射の集合があるわけですが、これらがいずれも小さな集合であるとき、その圏は小さな圏であるといいます。小さな圏の代表例もいくつも存在し、その中には重要なものも含まれますが、さしあたり、以下の例を挙げておくことにします。
- 対象の集合は前順序(preorder)構造を持つ小さな集合
- 射の集合は、 上の前順序関係 *2
こうすると、 の定義はほぼ明らかでしょう。そして に対し
となります。反射律は恒等射の存在として、推移律は射の合成として反映されていることが分かると思います。
始対象と終対象
圏 の対象の集合を と表すことにします。 なる表記も同様に解釈してください。このとき任意の に対して がただ一つの要素からなるような対象 を始対象と言います。また、任意の に対して がただ一つの要素からなるような対象 を終対象と言います。
圏 における始対象は空集合です。実際、任意の小さな集合 に対して、 から への対応、すなわち の部分集合は しかなく、これが から ヘのただ一つの射です。
また、終対象は、ただ一つの元からなる小さな集合 です。実際、任意の小さな集合 に対して の部分集合で射( から ヘの写像)と言えるものは しかなく、これが から ヘのただ一つの射です。
始対象かつ終対象であるものを零対象と言います。圏 においては単位元のみからなる群 が零対象となることは容易に確かめられるでしょう。
さて、圏 に零対象が存在するとして、それを で表すとき、任意の対象 に対して なる射の合成としての特別な射が得られます。これを零射と言い、 と表します。