PlanetPhysics/Epimorphism2

Definition 0.1

A morphism is an epimorphism if for any two morphisms , implies .