PlanetPhysics/Epimorphism2

From testwiki
Revision as of 05:12, 12 September 2020 by imported>MaintenanceBot (Cleanup)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Definition 0.1

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

Template:CourseCat