射 (圏論)

**射**（しゃ、）は、構造保存写像を一般化した圏論上の概念である。

## 名称
射は以下のように呼ばれることもある。

* **モルフィズム**（）
* **型射**（かたしゃ、）
* **矢印**（やじるし、）
* **有向辺**（ゆうこうへん、）

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

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

射の、そして射がその上で定義される構造（対象）を調べることは圏論の中核を成す。射に関する用語法の多くは、その直観的背景でもある（対象が単に付加構造を備えた集合で、射がその構造を保つ写像であるような圏）に由来するものとなっている。

## 定義
以下は圏の定義そのものであるが、射に着目して言い換えると以下のようになる。

### 構成

* 圏  は二種類の類（クラス）からなり、一つは**対象**の類、いま一つは**射**の類である。
* 任意の射に対して、**[[始域]]**（**ドメイン**あるいは**ソース**）および終域（**コドメイン**あるいは**ターゲット**）と呼ばれる二つの演算が定義される。射  が始域  と終域  を持つとき、これを  で表す。つまり、射は始域から終域へ向かう「矢印」として表される。
*  から  への射全体の成す集まりは、 あるいは単に  で表され、**射の類**、**ホム類** (*hom-class*) あるいは（特に類が小さいとき）**射集合**または**ホム集合** (*hom-set*)（"hom" は同じを意味する "homo-" あるいは準同型 ("homomorphism") から）と呼ばれる。 や  と書かれることもある。ホム「集合」などと呼ぶのは、射の全体が必ずしも集合を成すことは要求されないことを考えれば少々語弊のある名称であることに注意。
* 任意の三対象  に対して、**合成**と呼ばれる二項演算  が存在し、二つの射  と  との合成射は  あるいは  と書かれる。射の合成はしばしば可換図式として表される。例えば、

### 公理
射は二つの公理を満足する：
* **恒等律**: 任意の対象  に対して。 上の**恒等射**（）と呼ばれる射  が存在して、任意の射  に対して  が成立する。
* **[[結合法則|結合律]]**:  が演算の定義される限りにおいて成り立つ。

### 具体圏における定義
具体圏  においては、恒等射はまさに恒等写像であり、合成はまさに通常の写像の合成である。この場合、結合律は写像の合成が結合的であることから満たされる。

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

## 種類

### モノ射
左可除的な射を**モノ射**（）と呼ぶ。即ち、射  がモノ射であるとは、 ならば  が任意の射  に対して成り立つ射を指す。

写像における単射の概念の一般化であり、写像の場合と同様に**単射**（）と呼ばれる他、**モノ射**（）あるいは**モニック**（）とも呼ばれる。

### エピ射
右可除的な射を**エピ射**（）と呼ぶ。即ち、 がエピ射であるとは、 ならば  が任意の射  に対して成立するときに言う。

モノ射と双対的に全射の概念の一般化であり、**全射**（）、**エピ**（）、（）、**エピック**（）とも言う。

### 全単射
エピかつモノである射は、写像の場合と同様に**[[全単射]]**（**双射**、）と呼ばれる。

### 左逆射
射  が**左逆射**（*left inverse）*を持つとは、射  で  を満たすものが存在するときに言う。左逆射  は  の**** (*retraction*) とも言う。左逆射を持つ射は常に単射だが、逆は任意の圏においては必ずしも成り立たない（左逆射をもたない単射が存在する）。

### 右逆射
双対的に、射  が**右逆射** (*right inverse*) を持つとは、射  で  を満たすものが存在するときに言う。右逆射  は  の**切断**あるいは**断面** (*section*) とも言う。右逆射をもつ射は必ず全射だが、逆は任意の圏においては必ずしも成り立たず、右逆射を持たない全射が存在する。

### 分裂単射
**分裂単射** (*split monomorphism*)  は左逆射  を持つ単射を言う。このとき  は冪等、すなわち  が成立する。において、左逆射を持つ写像は集合論的単射（単写）すなわち入射的 (injective) である。即ち、具体圏において（圏論的）単射は殆ど常に（集合論的）単射である。注意すべきは、入射的であるという条件は単型であるという条件よりは強いが、分裂単射であるという条件よりは弱いことである。

### 分裂全射
**分裂全射** (*split epimorphism*) は右逆元を持つ全射を言う。単射  が左逆射  に関して分裂するとき、 は右逆元  を持つ分裂全射である。具体圏において、右逆射をもつ写像は集合論的全射（全写）すなわち上への写像である。即ち、具体圏において圏論的全射は殆ど常に集合論的全射である。注意すべきは、上への写像であるという条件は全型であるという条件よりは強いが、分裂全射であるという条件よりは弱いことである。集合の圏  において任意の（集合論的）全射が切断を持つという事実は選択公理と同値である。

### 同型射
射  に対して射  が存在し、  かつ  が成り立つものを**[[同型射]]**であると言う。射  が左逆射と右逆射をともに持つとき、両者は一致して  は同型射であり、 は単に  の**逆射** (*inverse*) と呼ばれる。逆射は、それが存在すれば一意である。逆射  もやはり同型射であり、逆射として  を持つ。二つの対象がその間に同型射を持つとき、それら二つは互いに同型あるいは同値であるという。注意すべきは、任意の同型射は双射だが、双射は必ずしも同型射ではないことである。例えば、可換環の圏において包含射  は双射だが同型射ではない。しかし、全射かつ分裂単射であるような、もしくは単射かつ分裂全射であるような任意の射は同型射でなければならない。集合の圏 **Set** のように、任意の双射が同型射であるような圏は、**均衡圏** (*balanced category*) と呼ばれる。

### 自己射
射  は、対象  の**[[自己射]]**と言う。冪等自己射  が**分裂自己射** (*split endomorphism*) であるとは、分解  で  を満たすものが存在するときに言う。特に、圏のは、任意の冪等射が分裂する。

### 自己同型射
同型射でありかつ自己射である射を**[[自己同型射]]**と呼ぶ。

## 例
* 普遍代数学において調べられるような具体圏（群の圏、環の圏、加群の圏 など）における射は、ふつう準同型（準同型射）と呼ばれる。自己同型、自己準同型、全準同型、準同型、同型、単準同型などの概念が普遍代数において用いられる。
* 位相空間の圏 において、射は連続写像であり、同型射は同相写像と呼ばれる。
* 可微分多様体の圏 において、射は滑らかな写像であり、同型射は微分同相写像と呼ばれる。
* 小さい圏の圏 において、函手はその圏における射と考えることができる。
* 函手圏  における射は自然変換である。

更なる例は圏論の項を参照せよ。

## 関連項目
* 
* 零射

## 脚注

### 注釈


### 出典


## 参考文献
* .

## 外部リンク
* 
* 
* 
* 
* 
* 
* 
*