Wikidata facts
- Subclass of
- morphism
Show 3 more facts
- different from
- surjective function
- studied by
- category theory
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
~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.