PlanetPhysics/Epimorphism2
< PlanetPhysics
Definition 0.1
A morphism is an epimorphism if for any two morphisms , implies .
Definition 0.1
A morphism is an epimorphism if for any two morphisms
,
implies
.