~13 min read
Encyclopedic overview
8 sectionsContents
- Examples
- Properties
- Related concepts
- Terminology
- See also
- Notes
- References
- External links
right|thumb|220px
In category theory, an epimorphism is a morphism f : X → Y that is right-cancellative in the sense that, for all objects Z and all morphisms , g_1 \circ f = g_2 \circ f \implies g_1 = g_2.
Excerpted from Wikipedia’s “epimorphism” article, available under the CC BY-SA 4.0 licence.