>>270
>圏論に基づくのなら全射の定義が違うはずだね。

Surjectionとepimorphismは違う
日本語では両方全射と訳すみたいだが