射 (圏論)

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

名称

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

モルフィズム（英: morphism）
型射（かたしゃ、英: morphism）
矢印（やじるし、英: arrow）
有向辺（ゆうこうへん、英: directed edge）^{[注釈 1]}

概要

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

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

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

定義

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

構成

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

公理

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

恒等律: 任意の対象 $X$ に対して。 $X$ 上の恒等射（identity）と呼ばれる射 $id X : X \to X$ が存在して、任意の射 $f : A \to B$ に対して $id B \circ f = f = f \circ id A$ が成立する。
結合律: $h \circ (g \circ f) = (h \circ g) \circ f$ が演算の定義される限りにおいて成り立つ。

具体圏における定義

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

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

種類

モノ射

左可除的な射をモノ射（mono-morphism）と呼ぶ。即ち、射 $f : X \to Y$ がモノ射であるとは、 $f \circ g 1 = f \circ g 2$ ならば $g 1 = g 2$ が任意の射 $g 1, g 2 : Z \to X$ に対して成り立つ射を指す。

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

エピ射

右可除的な射をエピ射（epi-morphism）と呼ぶ。即ち、 $f : X \to Y$ がエピ射であるとは、 $g 1 \circ f = g 2 \circ f$ ならば $g 1 = g 2$ が任意の射 $g 1, g 2 : Y \to Z$ に対して成立するときに言う。

モノ射と双対的に全射の概念の一般化であり、全射（surjective）、エピ（epi）、（epic）、エピック（epic）とも言う^[1]。

全単射

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

左逆射

射 $f$ が左逆射（left inverse）を持つとは、射 $g : Y \to X$ で $g \circ f = id X$ を満たすものが存在するときに言う。左逆射 $g$ は $f$ の引き込み（英語版） (retraction) とも言う^[1]。左逆射を持つ射は常に単射だが、逆は任意の圏においては必ずしも成り立たない（左逆射をもたない単射が存在する）。

右逆射

双対的に、射 $f$ が右逆射 (right inverse) を持つとは、射 $g : Y \to X$ で $f \circ g = id Y$ を満たすものが存在するときに言う。右逆射 $g$ は $f$ の切断あるいは断面 (section) とも言う^[1]。右逆射をもつ射は必ず全射だが、逆は任意の圏においては必ずしも成り立たず、右逆射を持たない全射が存在する。

分裂単射

分裂単射 (split monomorphism) $h : X \to Y$ は左逆射 $g : Y \to X, (g \circ h = id X)$ を持つ単射を言う。このとき $h \circ g : Y \to Y$ は冪等、すなわち $(h \circ g) 2 = h \circ g$ が成立する。具体圏（英語版）において、左逆射を持つ写像は集合論的単射（単写）すなわち入射的 (injective) である。即ち、具体圏において（圏論的）単射は殆ど常に（集合論的）単射である。注意すべきは、入射的であるという条件は単型であるという条件よりは強いが、分裂単射であるという条件よりは弱いことである。

分裂全射

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

同型射

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

自己射

射 $f : X \to X$ は、対象 $X$ の自己射と言う。冪等自己射 $f$ が分裂自己射 (split endomorphism) であるとは、分解 $f = h \circ g$ で $g \circ h = id$ を満たすものが存在するときに言う。特に、圏のカロウビ展開圏（英語版）は、任意の冪等射が分裂する。

自己同型射

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

例

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

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

脚注

注釈

↑ 圏（の可換図式）を有向グラフと見做す立場から、射を強調してこう呼ぶ。

出典

1 2 3 4 Jacobson (2009), p. 15.

参考文献

Jacobson, Nathan (2009), Basic algebra, 2 (2nd ed.), Dover, ISBN 978-0-486-47187-7 .

外部リンク

“Morphism”, Encyclopedia of Mathematics, EMS Press, 2001 [1994]
types of morphisms - PlanetMath.org（英語）
image of a morphism - PlanetMath.（英語）
inverse image of a morphism - PlanetMath.（英語）
kernel of a morphism - PlanetMath.（英語）
Weisstein, Eric W. “Morphism”. mathworld.wolfram.com (英語).
morphism in nLab
arrow in nLab

[1] 圏（の可換図式）を有向グラフと見做す立場から、射を強調してこう呼ぶ。

[jacobson:morphisms-2] 1 2 3 4 Jacobson (2009), p. 15.

[注釈 1]

[1]

表話編歴圏論
主要項目	圏射エピモニック図式可換図式自然変換圏同値反対圏始対象と終対象普遍性米田の補題双対極限帰納極限射影極限積余積像余像等化子余等化子トポス核余核引き戻しモナド Kan拡張
関手	加法的完全充満随伴対角忠実導来表現可能本質的全射 Hom関手
具体的圏	関手圏前加法圏集合の圏マグマの圏群の圏アーベル群の圏擬環の圏環の圏加群の圏ベクトル空間の圏多元環の圏位相空間の圏距離空間の圏多様体の圏
圏の類	完備圏コンマ圏部分圏モノイド閉圏デカルト閉圏アーベル圏導来圏クライスリ圏デカルトモノイド圏
一般化	豊穣圏 2-圏圏の圏
人物	ソーンダース・マックレーンサミュエル・アイレンベルグアレクサンドル・グロタンディークウィリアム・ローヴェアハインリッヒ・クライスリ
関連分野	代数幾何学普遍代数ホモロジー代数
関連項目	『圏論の基礎』
カテゴリ

典拠管理データベース
国立図書館	ドイツアメリカフランス BnF data イスラエル
その他	Yale LUX

名称

概要

定義

構成

公理