Wiktionary
n. (context category theory English) A morphism ''p'' such that for any other pair of morphisms ''f'' and ''g'', if , then ''f'' = ''g''.
Wikipedia
In 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 ,
g ∘ f = g ∘ f ⇒ g = g.Epimorphisms are categorical analogues of surjective functions (and in the category of sets the concept corresponds to the surjective functions), but it may not exactly coincide in all contexts; for example, the inclusion Z → Q is a ring-epimorphism. The dual of an epimorphism is a monomorphism (i.e. an epimorphism in a category C is a monomorphism in the dual category C).
Many authors in abstract algebra and universal algebra define an epimorphism simply as an onto or surjective homomorphism. Every epimorphism in this algebraic sense is an epimorphism in the sense of category theory, but the converse is not true in all categories. In this article, the term "epimorphism" will be used in the sense of category theory given above. For more on this, see the section on Terminology below.
Usage examples of "epimorphism".
Three hundred fellow frosh, gulping down breakfast lattes and Cokes from the student center, grumbling at the early hour.
And there went whole schools of identical frosh, carried along on the whims of the tide.
He also worked occasionally on an autobiographical screenplay called “The Frosh,” which chronicled his days as a freshman at Brockport.
But Mary was thirty-nine now—her birthday had come and gone, unremarked by anyone—and frosh at York were as young as eighteen.