epimorphism

(Definition)

Definition 0.1

A morphism e : A → B is an epimorphism if for any two morphisms f,g : B → C, f ∘ e = g ∘ e implies f = g.

"epimorphism" is owned by bci1.
(view preamble)

There are 4 references to this object.

This is version 2 of epimorphism, born on 2010-11-01, modified 2010-11-01.
Object id is 890, canonical name is Epimorphism2.
Accessed 1842 times total.

Classification:

Physics Classification:

00. (GENERAL)

Pending Errata and Addenda

None.

Discussion

No messages.