Kerodon

Proof of Proposition 10.3.2.4. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: X \rightarrow Y$ be a morphism of $\operatorname{\mathcal{C}}$ which admits a Čechnerve $\operatorname{\check{C}}(X/Y)_{\bullet }: \operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }}^{\operatorname{op}}_{+} ) \rightarrow \operatorname{\mathcal{C}}$. We wish to show that $f$ is a quotient morphism if and only if $\operatorname{\check{C}}(X/Y)_{\bullet }$ is a colimit diagram in $\operatorname{\mathcal{C}}$. Let $\operatorname{\mathcal{C}}^{0}_{/Y} \subseteq \operatorname{\mathcal{C}}_{/Y}$ denote the sieve generated by $X$ and let $Q$ denote the composite map

Let us identify $\operatorname{\check{C}}(X/Y)_{\bullet }$ with a functor $F: \operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }}^{\operatorname{op}} ) \rightarrow \operatorname{\mathcal{C}}_{/Y}^{\operatorname{op}}$. Unwinding the definitions, we wish to show that $Q$ is a colimit diagram if and only if the composite functor

is a colimit diagram. This is a special case of Corollary 7.2.2.3, since the functor $F$ is right cofinal (Variant 10.3.2.6). $\square$