集合と写像の圏で、 全射 <=> エピであることを示す。Conceptual Mathematics 読書会でつっかえたが、2点集合を使えば比較的楽に示せるというのがポイント。 fが全射 => fがエピ 「集合圏ではレトラクションと全射は同値」で示したようにfが全射ならばセクシ…