Епіморфізм — у теорії категорій: морфізм, який є правим скасовуваним, тобто для будь-яких морфізмів g₁ та g₂ рівність g₁ ∘ f = g₂ ∘ f тягне за собою g₁ = g₂; епіморфізм у категорії множин — це сюр’єктивне відображення.
Епіморфізм — у загальній алгебрі: сюр’єктивний гомоморфізм.