👉 In mathematics, an epimorphism is a morphism that has both one and two-sided inverses. In other words, it is a morphism f such that for any morphisms g and h of objects A and B in the category of sets (denoted by Set), if there exists an object c in Set such that gh = hf then g = i(hf).