Epimorphism. A Morphism $f:Y\to X$ in a Category is an epimorphism if, for any two morphisms $u,v:X\to Z$ , $uf=vf$ implies $u=v$ .
確定! 回上一頁