Definition 10.2.0.2. Let $\operatorname{\mathcal{C}}$ be a category which admits fiber products. We will say that a morphism $f: X \rightarrow Y$ of $\operatorname{\mathcal{C}}$ is a *regular epimorphism* if it exhibits $Y$ as a coequalizer of the pair of projection maps $\pi _0, \pi _1: X \times _{Y} X \rightarrow X$.

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$