Definition 7.6.5.11 (Equalizer and Coequalizer Diagrams). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. An equalizer diagram in $\operatorname{\mathcal{C}}$ is a limit diagram $( \bullet \rightrightarrows \bullet )^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$. A coequalizer diagram is a colimit diagram $( \bullet \rightrightarrows \bullet )^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$