Warning 2.28.

This terminology is standard but rather unfortunate: not every effective epimorphism is an epimorphism in the categorical sense, see Example 5.8 below for a counterexample. The terminology is a historical accident. In a 1-category, effective epimorphisms are always epimorphisms, but this fails in higher categories.