エピック射 - pogi-log

エピック射

エピック射(epic morphism、epic、epi)

全射、エピ射(epimorphism)

写像の全射 ≠ エピ射らしい

数式で見ると合成の左側の射が等しくなるもの

後から合成するものが等しい

図式で見ると合成の右側の射が等しくなるもの

定義

射 $ f：A→ B がエピ（epi）であるとは，任意の対象$ T と任意の射$ h：B → T および

$ k：B → T に対して，$ h \circ f ＝ k \circ f ならば $ h＝k であることを言う。

https://gyazo.com/f24c1072927c536d108b4eee0f14ab63

確認用

Q. エピック射