モニック射

圏論においてモニック射（英: monic morphism）、モノ射（monomorphism）あるいは単射^[1]とは、左簡約可能（left cancelable）な射を言う。 $X$ から $Y$ へのモニック射は $X ↪ Y$ と表記される。

これは集合間の写像の意味での単射の抽象化であり、射が写像であり集合論的な意味での単射であれば圏論的な意味でのモニック射であるが、逆は必ずしも成り立たない。しかしながら、集合の圏や群の圏、環上の加群の圏、位相空間の圏などでは、モニック射は集合論の意味での単射である^[2]。

モニック射の圏論的双対はエピ射であり、圏 C のモニック射は逆圏 C^op のエピ射に対応する。すべてのセクション（section）はモニック射であり、すべての制限射（retraction）はエピ射である。

定義

圏論において射 $f : X \to Y$ がモニックであるとは、すべての対象 $Z$ と任意の射 $g 1, g 2 : Z \to X$ に対して、

f\circ g_{1}=f\circ g_{2}

　ならば　

g_{1}=g_{2}

が成り立つことを言う。この性質を左簡約可能（left cancelable）性と呼ぶ。すなわち、モニック射とは左簡約可能性を持つ射であると言える。

可逆性との関係

左可逆射(左逆射を持つ射)は常にモニックである。つまりl が f の左逆射である、すなわち、 $l\circ f=\operatorname {id} _{X}$ であるとき、f はモニックとなる。なぜならば、

f\circ g_{1}=f\circ g_{2}\Rightarrow l\circ f\circ g_{1}=l\circ f\circ g_{2}\Rightarrow g_{1}=g_{2}.

となるためである。左可逆射は分裂モノ射（split mono）またはセクション（section）と呼ばれる。

しかしながら、モノ射は左可逆射である必要はない。たとえば、すべての群と群準同型射からなる群の圏において、H は G の部分群であるとき、包含写像 f : H → G は常にモノ射であるが、f が圏論的左可逆であるための必要十分条件は H が G の正規補群であることである。

射 f : X → Y がモニックであることの必要十分条件は、すべての射 h : Z → X に対する射 f_∗(h) = f ∘ h によって定義される誘導射（induced map）f_∗ : Hom(Z, X) → Hom(Z, Y)　がすべての対象 Z について入射的であることである。

圏論的半順序

モニック射の左簡約可能性（left cancelable）を用いて圏上で半順序を定義することができる^[3]。

α₁ : A₁ → A, α₂ : A₂ → A をそれぞれモニック射とする。モニック射間の半順序関係 α₁ ≦ α₂ が成り立つとは、モニック射 γ : A₁ → A₂ が存在し、 α₂・γ = α₁ を満たすことを言う。

半順序関係とは、反射的（reflexive）かつ推移的（transitive）かつ反対称的（anti-symmetric）な関係を言うが、モニック射間の関係 ≦ は実際それらを満たす^[4]。

（反射律）: α₁ : A₁ → A がモニック射であれば、α₁ ≦ α₁ である。
（推移律）: α₁ : A₁ → A、 α₂ : A₂ → A、 α₃ : A₃ → A をモニック射とし、α₁ ≦ α₂ かつ α₂ ≦ α₃ であるならば、α₁ ≦ α₃ である。
（反対称律）: α₁ : A₁ → A、 α₂ : A₂ → A をモニック射とし、α₁ ≦ α₂ かつ α₂ ≦ α₁ であるならば、α₁ ≅ α₂ である。

特徴

トポス（topos）において、すべてのモニック射は等化子（equalizer）であり、任意の射がモニックかつエピであれば同型射である。
すべての同型射はモニックである。

用語

モノ射とエピ射の用語は元々はニコラ・ブルバキによって導入された。ブルバキはモノ射を入射関数（injective function）の省略系として使用した。初期の圏論論者は、入射性の圏論の文脈における正しい一般化は上記の簡約可能性（cancelable）にあると信じていたが、これはモニック射に対しては正確には一般に正しくないものの、非常に近いため、エピ射の場合とは異なり、問題はほとんど発生しない。ソーンダース・マックレーンは、彼がモノ射と呼ぶものを区別しようとした。彼は入射的な集合写像を基礎に持つ具体圏の射をモノ射と呼び、圏論的意味を持つ用語としてのモノ射をモニック射と呼ぼうとした。ただし、この区別は一般的には使用されなかった。

脚注

^ #河田 p.147.
^ マックレーン 2012, pp. 24, 32.
^ Mitchell(1965) p.6
^
（反射律）

α₁ : A₁ → A　に対し、α₁ ≦ α₁ iff. α₁・1_A₁ = α₁ となるが、1_A₁ はモニック。

（推移律）

α₁ : A₁ → A、 α₂ : A₂ → A、 α₃ : A₃ → A に対し、α₁ ≦ α₂ かつ α₂ ≦ α₃ が成り立つならば、α₂・γ = α₁ 及び α₃・δ = α₂ となるモニック射 γ : A₁ → A₂ と δ : A₂ → A₃ が存在する。従って、α₃・(δ・γ) = α₁ となりモニック射の合成射 δ・γ はやはりモニック射となるので α₁ ≦ α₃。

（反対称律）

α₁ : A₁ → A, α₂ : A₂ → A に対し、α₁ ≦ α₂ かつ α₂ ≦ α₁ が成り立つとする。このとき、α₂・γ = α₁、 α₁・δ = α₂ を満たすモニック射 γ : A₁ → A₂、δ : A₁ → A₂ が存在する。したがって、α₂・（γ・δ） = α₂・1_A₂ となるが、モニック射の左簡約可能性により、γ・δ = 1_A₂ よって、対象 A₁ と A₂ は同型となり、A₁ ≅ A₂ したがって、α₂ ≅ α₁
以上より圏上のモニック射間の関係 ≦ は半順序関係となり、集合論を避けて圏上で半順序に関する理論を展開することができる。

参考文献

マックレーン, S.『圏論の基礎』三好博之、高木理訳、丸善出版、2012年。ISBN 978-4-621-06324-8。
Barry Mitchell (1965). Theory of categories. Pure and applied mathematics. 17. academic press New York and London
河田敬義『ホモロジー代数』岩波書店〈岩波基礎数学選書〉、1990年11月8日。ISBN 978-4000078047。

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

モニック射

定義

可逆性との関係

圏論的半順序

特徴

用語

脚注

参考文献

関連項目