In category theory, an epimorphism is a morphism f : X → Y that is right-cancellative in the sense that, for all morphisms g1, g2 : Y → Z, Epimorphisms ...
確定! 回上一頁