An epimorphism is a type of morphism in category theory that is right-cancellable, meaning if two morphisms composed with it are equal, then those two morphisms must be equal. It is analogous to a surjective function in set theory, ensuring that every element in the codomain is mapped to by at least one element in the domain.