エピ射
epimorphis
エピック射とも言う
定義
射$ f:X\to Yがエピ射であるとは、下図の状況において
https://gyazo.com/17d888548cba3e0226225a4ebf0df161
$ \forall g,h: Y\to Zについて
$ g\circ f=h\circ f$ \Rightarrow$ g=hであることを言う
証明
『圏論入門』.icon p.167にもサラッと証明がある
全射ではないエピ射も存在する
位相空間の圏Topにおける写像$ i: \mathbb{Q}\to\mathbb{R}など