モニック射

圏論においてモニック射（）、モノ射（monomorphism）あるいは単射#河田 p.147.とは、左簡約可能（left cancelable）な射を言う。 から  へのモニック射は  と表記される。

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

モニック射の圏論的双対はエピ射であり、圏 C のモニック射は逆圏 Cop のエピ射に対応する。すべてのセクション（section）はモニック射であり、すべての制限射（retraction）はエピ射である。
 定義 
圏論において射  がモニックであるとは、すべての対象  と任意の射  に対して、
　ならば　
が成り立つことを言う。この性質を左簡約可能（left cancelable）性と呼ぶ。すなわち、モニック射とは左簡約可能性を持つ射であると言える。

 可逆性との関係 
左可逆射(左逆射を持つ射)は常にモニックである。つまりl が f の左逆射である、すなわち、 であるとき、f はモニックとなる。なぜならば、

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

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

射  がモニックであることの必要十分条件は、すべての射  に対する射  によって定義される誘導射（induced map）　がすべての対象 Z について入射的であることである。

 圏論的半順序 
モニック射の左簡約可能性（left cancelable）を用いて圏上で半順序を定義することができるMitchell(1965) p.6。
α1 : A1 → A, α2 : A2 → A をそれぞれモニック射とする。モニック射間の半順序関係 α1 ≦ α2 が成り立つとは、モニック射 γ : A1 → A2 が存在し、 α2・γ = α1 を満たすことを言う。
半順序関係とは、反射的（reflexive）かつ推移的（transitive）かつ反対称的（anti-symmetric）な関係を言うが、モニック射間の関係 ≦ は実際それらを満たす （反射律）
 α1 : A1 → A　に対し、α1 ≦ α1 iff. α1・1A1 = α1 となるが、1A1 はモニック。
 （推移律）
 α1 : A1 → A、 α2 : A2 → A、 α3 : A3 → A に対し、α1 ≦ α2 かつ α2 ≦ α3 が成り立つならば、α2・γ = α1  及び α3・δ = α2 となるモニック射 γ : A1 → A2 と δ : A2 → A3 が存在する。従って、α3・(δ・γ) = α1 となりモニック射の合成射 δ・γ はやはりモニック射となるので α1 ≦ α3。
 （反対称律）
 α1 : A1 → A, α2 : A2 → A に対し、α1 ≦ α2 かつ α2 ≦ α1 が成り立つとする。このとき、α2・γ = α1、 α1・δ = α2 を満たすモニック射 γ : A1 → A2、δ : A1 → A2 が存在する。したがって、α2・（γ・δ） = α2・1A2 となるが、モニック射の左簡約可能性により、γ・δ = 1A2 よって、対象 A1 と A2 は同型となり、A1 ≅ A2 したがって、α2 ≅ α1
以上より圏上のモニック射間の関係 ≦ は半順序関係となり、集合論を避けて圏上で半順序に関する理論を展開することができる。。
（反射律）
α1 : A1 → A がモニック射であれば、α1 ≦ α1 である。
（推移律）
α1 : A1 → A、 α2 : A2 → A、 α3 : A3 → A をモニック射とし、α1 ≦ α2 かつ α2 ≦ α3 であるならば、α1 ≦ α3 である。
（反対称律）
α1 : A1 → A、 α2 : A2 → A をモニック射とし、α1 ≦ α2 かつ α2 ≦ α1 であるならば、α1 ≅ α2 である。

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

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

 脚注 

 参考文献 




 関連項目 
 エピ射
 埋め込み

Category:射
Category:数学に関する記事