n (mathematics) A map f such that whenever g composed with f equals h composed with f, then g=h. In most everyday category | categories, a map is an epimorphism iff it's surjective