エピ射

圏論において射 f: X → Y がエピであるとは、すべての対象 Z とその任意の射 g₁, g₂: Y → Z に対して、

${\displaystyle g_{1}\circ f=g_{2}\circ f}$ ならば ${\displaystyle g_{1}=g_{2}}$

が成り立つということである[5]。この性質を右簡約可能（right cancelable）性と呼ぶ。すなわち、エピ射とは右簡約可能性を持つ射のことを言う。

エピ射の右簡約可能性（right cancelable）を用いて圏上で半順序を定義することができる。

β₁ : B → B₁, β₂ : B → B₂ をそれぞれエピ射とする。エピ射間の半順序関係 β₂ ≼ β₁ が成り立つとは、エピ射 γ : B₂ → B₁ が存在し、 γ・β₂ = β₁ を満たすことを言う。

半順序関係とは、反射的（reflexive）かつ推移的（transitive）かつ反対称的（anti-symmetric）な関係を言うが、エピ射間の関係 ≼ は実際それらを満たす

（反射律）

β₁ : B → B₁ がエピ射であれば、β₁ ≼ β₁ である。

（推移律）

β₁ : B → B₁、 β₂ : B → ₂、 β₃ : B → ₃ をエピ射とし、β₂ ≼ β₁ かつ β₃ ≼ β₂ であるならば、β₃ ≼ β₁ である。

（反対称律）

β₁ : B → B₁、 β₂ : B → B₂ をエピ射とし、β₂ ≼ β₁ かつ β₁ ≼ β₂ であるならば、β₁ ≅ β₂ である。

エピ射とモノ射の用語は最初ニコラ・ブルバキによって導入された。ブルバキはエピ射を全射関数（surjective function）の省略形として使用した。初期の圏論家は、モノ射が入射の正確な類推に非常に近いのと同じように、任意の圏においてエピ射は全射の正しい類推であると信じた。不幸なことにこれは間違いであった。強（strong）または正規（regular）なエピ射は普通のエピ射よりもより全射に近接した振る舞いを示す。ソーンダース・マックレーンはエピ射の間に区別を設けようとした。彼はエピ射は全射である集合写像を基礎に持つ具体圏における射であり、そしてエピック射（epic morphism）とは現代的な意味におけるエピ射であるとしようとしたが、この区別が普及することはなかった。

エピ射が全射と同一であるまたはより良い概念であると信じることはよくある間違いである。不幸なことにこれは稀なケースであるが、エピ射は非常に不思議で予期しない振る舞いをすることがあり、例えば、環のエピ射をすべて分類することは非常に難しい。一般にエピ射は、全射とは関連しているものの根本的に異なる、それ自身特有の概念である。

• モノ射

• マックレーン, S.『圏論の基礎』三好 博之、高木 理 訳、丸善出版、2012年。ISBN 978-4-621-06324-8。
• Borceux, F. (1994). Handbook of Categorical Algebra. 1. Basic Category Theory.. Cambridge University Press. ISBN 0-521-44178-1. MR1291599. Zbl 0803.18001. https://books.google.com/books?id=YfzImoopB-IC
• Barry Mitchell (1965). Theory of categories. Pure and applied mathematics. 17. academic press New York and London

• epimorphism in nLab