n category theory, an epimorphism (also called an epic morphism or, colloquially, an epi) is a morphism f : X → Y that is right-cancellative in the sense that, for all morphisms g1, g2 : Y → Z,
ทฤษฎีประเภท n, epimorphism การ (เรียกว่า morphism มีมหากาพย์หรือ ขาน epi มี) คือ f morphism: X → Y ที่ขวา cancellative ในแง่ที่ว่า สำหรับทุก morphisms g1, g2: Y → Z
n หมวดหมู่ทฤษฎีการ epimorphism (หรือที่เรียกว่าฟิซึ่มส์มหากาพย์หรือเรียกขานเป็น EPI) เป็น F ซึ่มส์: X → Y ที่เป็นขวา cancellative ในแง่ที่ว่าสำหรับทุก morphisms G1, G2: Y → Z,