Epimorphism

From Cattheory
Revision as of 00:53, 9 December 2008 by Vipul (talk | contribs) (New page: {{morphism property}} ==Definition== Suppose <math>\mathcal{C}</math> is a category, <math>A,B \in \operatorname{Ob}\mathcal{C}</math>, and <math>f \in \mathcal{C}(A,B)</math>. <math>f</...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Template:Morphism property

Definition

Suppose C is a category, A,BObC, and fC(A,B). f is termed an epimorphism, or epic, if for any object C and any g,hC(B,C) we have:

gf=hfg=h.

Relation with other properties

Stronger properties

Related properties