Jump to content

PlanetPhysics/Epimorphism2

From Wikiversity

Definition 0.1

A morphism e:AB is an epimorphism if for any two morphisms f,g:BC, fe=ge implies f=g.