Epimorphism

From Cattheory
Jump to: navigation, search

Template:Morphism property

Definition

Suppose is a category, , and . is termed an epimorphism, or epic, if for any object and any we have:

.

Relation with other properties

Stronger properties

Related properties