EPIMORPHISM
Epimorphism
In category theory, an epimorphism is a morphism f : X → Y that is right-cancellative in the sense that, for all morphisms,The above text is a snippet from Wikipedia: Epimorphism
and as such is available under the Creative Commons Attribution/Share-Alike License.
epimorphism
Noun
- A map f such that whenever g composed with f equals h composed with f, then g=h. In most everyday categories, a map is an epimorphism iff it's surjective
The above text is a snippet from Wiktionary: epimorphism
and as such is available under the Creative Commons Attribution/Share-Alike License.