射 (圏論)

数学の多くの分野において、型射あるいは射は、ある数学的構造を持つ数学的対象から別の数学的対象への「構造を保つ」写像の意味で用いられる。この意味での射の概念は現代的な数学のあらゆる場所で繰り返し生じてくる。例えば集合論における射は写像であり、線型代数学における線型写像、群論における群準同型、位相空間論における連続写像、… といったようなものなどがそうである。

圏論における射はこのような概念を広く推し進め、しかしより抽象的に扱うものである。考える数学的対象は集合である必要はないし、それらの間の関係性である射は写像よりももっと一般の何ものかでありうる。

射の、そして射がその上で定義される構造を調べることは圏論の中核を成す。射に関する用語法の多くは、その直観的背景でもある具体圏に由来するものとなっている。また圏論において、圏を図式と呼ばれる有向グラフによって見る立場から、射は有向辺あるいは矢印  と呼ばれることもある。

1. 定義
-----

圏 //C//}} は二種類の類からなり、一つは対象の類、いま一つは射の類である。

任意の射に対して、始域および終域と呼ばれる二つの演算が定義される。射 //f//}} が始域 //X//}} と終域 //Y//}} を持つとき、これを //f//: //X// → //Y//}} で表す。つまり、射は始域から終域へ向かう「矢印」として表される。//X//}} から //Y//}} への射全体の成す集まりは、hom//C//}} あるいは単に hom}} で表され、射の類、ホム類  あるいは射集合またはホム集合 と呼ばれる。Mor//C//}} や Mor}} と書かれることもある。ホム「集合」などと呼ぶのは、射の全体が必ずしも集合を成すことは要求されないことを考えれば少々語弊のある名称であることに注意。

任意の三対象 //X//, //Y//, //Z//}} に対して、合成と呼ばれる二項演算 hom × hom → hom}} が存在し、二つの射 //f//: //X// → //Y//}} と //g//: //Y// → //Z//}} との合成射は //g// ∘ //f//}} あるいは //gf//}} と書かれる。射の合成はしばしば可換図式として表される。例えば

射は二つの公理を満足する:

恒等律: 任意の対象 //X//}} に対して。//X//}} 上の恒等射と呼ばれる射 id//X//: //X// → //X//}} が存在して、任意の射 //f//: //A// → //B//}} に対して id//B// ∘ //f// =}} //f// =}} //f// ∘ id//A//}} が成立する。
結合律: //h// ∘  =}}  ∘ //f//}} が演算の定義される限りにおいて成り立つ。具体圏 //C//}} においては、恒等射はまさに恒等写像であり、合成はまさに通常の写像の合成である。この場合、結合律は写像の合成が結合的であることから満たされる。

本当は終域と始域は射を決定する情報の一部であることに注意すべきである。例えば、集合の圏において、射は写像であるが、順序対全体の成す集合としては一致するが終域の異なる二つの写像というのは、圏論的に見れば相異なる。そこで射の類 hom}} は //X//, //Y//}} が異なれば交わりを持たないと仮定する文献もある。実用上はこれはあまり問題ではなく、この仮定が満たされない場合には射にその始域と終域とを追加してやれば回避することができる。

2. 特定の種類の射
----------

単射: 射 //f//: //X// → //Y//}} が単射  であるとは、//f// ∘ //g//1 =}} //f// ∘ //g//2}} ならば //g//1 =}} //g//2}} が任意の射 //g//1, //g//2: //Z// → //X//}} に対して成り立つことである。モノ射  あるいは単型射  とも呼ばれる。
射 //f//}} が左逆射  を持つとは、射 //g//: //Y// → //X//}} で //g// ∘ //f// =}} id//X//}} を満たすものが存在するときに言う。左逆射 //g//}} は //f//}} の引き込み   とも言う。左逆射を持つ射は常に単射だが、逆は任意の圏においては必ずしも成り立たない。
分裂単射  //h//: //X// → //Y//}} は左逆射 //g//: //Y// → //X//, }} を持つ単射を言う。このとき //h// ∘ //g//: //Y// → //Y//}} は冪等、すなわち 2 =}} //h// ∘ //g//}} が成立する。
具体圏において、左逆射を持つ写像は集合論的単射すなわち入射的  である。即ち、具体圏において単射は殆ど常に単射である。注意すべきは、入射的であるという条件は単型であるという条件よりは強いが、分裂単射であるという条件よりは弱いことである。
全射: 双対的に、//f//: //X// → //Y//}} が全射  であるとは、//g//1 ∘ //f// =}} //g//2 ∘ //f//}} ならば //g//1 =}} //g//2}} が任意の射 //g//1, //g//2: //Y// → //Z//}} に対して成立するときに言う。エピ射  あるいは全型射  とも言う。
射 //f//}} が右逆射  を持つとは、射 //g//: //Y// → //X//}} で //f// ∘ //g// =}} id//Y//}} を満たすものが存在するときに言う。右逆射 //g//}} は //f//}} の切断あるいは断面  とも言う。右逆射をもつ射は必ず全射だが、逆は任意の圏においては必ずしも成り立たず、右逆射を持たない全射が存在する。
分裂全射  は右逆元を持つ全射を言う。単射 //f//}} が左逆射 //g//}} に関して分裂するとき、//g//}} は右逆元 //f//}} を持つ分裂全射である。
具体圏において、右逆射をもつ写像は集合論的全射すなわち上への写像である。即ち、具体圏において圏論的全射は殆ど常に集合論的全射である。注意すべきは、上への写像であるという条件は全型であるという条件よりは強いが、分裂全射であるという条件よりは弱いことである。集合の圏 Set}} において任意の全射が切断を持つという事実は選択公理と同値である。
単射でも全射でもあるような射は全単射あるいは双射  と呼ばれる。
同型射: 射 //f//: //X// → //Y//}} に対して射 //g//: //Y// → //X//}} が存在し、 //f// ∘ //g// =}} id//Y//}} かつ //g// ∘ //f// =}} id//X//}} が成り立つものを同型射であると言う。射 //f//}} が左逆射と右逆射をともに持つとき、両者は一致して //f//}} は同型射であり、//g//}} は単に //f//}} の逆射  と呼ばれる。逆射は、それが存在すれば一意である。逆射 //g//}} もやはり同型射であり、逆射として //f//}} を持つ。二つの対象がその間に同型射を持つとき、それら二つは互いに同型あるいは同値であるという。注意すべきは、任意の同型射は双射だが、双射は必ずしも同型射ではないことである。例えば、可換環の圏において包含射 Z → Q}} は双射だが同型射ではない。しかし、全射かつ分裂単射であるような、もしくは単射かつ分裂全射であるような任意の射は同型射でなければならない。集合の圏 Set のように、任意の双射が同型射であるような圏は、均衡圏  と呼ばれる。
自己射: 射 //f//: //X// → //X//}} は、対象 //X//}} の自己射と言う。冪等自己射 //f//}} が分裂自己射  であるとは、分解 1=//f// = //h// ∘ //g//}} で //g// ∘ //h// =}} id}} を満たすものが存在するときに言う。特に、圏のカロウビ展開圏は、任意の冪等射が分裂する。
自己同型射は同型射であるような自己射を言う。

3. 例
----

普遍代数学において調べられるような具体圏における射は、ふつう準同型と呼ばれる。自己同型、自己準同型、全準同型、準同型、同型、単準同型などの概念が普遍代数において用いられる。
位相空間の圏 Top}} において、射は連続写像であり、同型射は同相写像と呼ばれる。
可微分多様体の圏 Mansup において、射は滑らかな写像であり、同型射は微分同相写像と呼ばれる。
小さい圏の圏 Cat}} において、函手はその圏における射と考えることができる。
函手圏 Func}} における射は自然変換である。更なる例は圏論の項を参照せよ。

4. 関連項目
-------

零射

5. 注記
-----

6. 参考文献
-------

last=Jacobson.

7. 外部リンク
--------