Let $𝑐$ and $𝑑$ be objects in a category $\mathrm{𝒞︀}$ with two parallel morphisms $𝑓,𝑔:𝑐\to 𝑑$. The equalizer of $𝑓$ and $𝑔$, if it exists, is the universal object $\text{𝖾𝗊}$ with the following property:

• There is a morphism $𝜋:\text{𝖾𝗊}\to 𝑐$
• $𝑓\circ 𝜋=𝑔\circ 𝜋$