Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Proposition 4.6.4.1. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f_0, f_1: B \rightarrow \operatorname{\mathcal{C}}$ be a pair of diagrams. The following conditions are equivalent:

$(1)$

The diagrams $f_0$ and $f_1$ are isomorphic when regarded as objects of the $\infty $-category $\operatorname{Fun}(B, \operatorname{\mathcal{C}})$.

$(2)$

There exists a factorization of the fold map $(\operatorname{id}_ B, \operatorname{id}_ B): B \coprod B \rightarrow B$ as a composition

\[ B \coprod B \xrightarrow { (s_0, s_1)} \overline{B} \xrightarrow {\pi } B, \]

where $\pi $ is a categorical equivalence, and a diagram $\overline{f}: \overline{B} \rightarrow \operatorname{\mathcal{C}}$ satisfying $f_0 = \overline{f} \circ s_0$ and $f_1 = \overline{f} \circ s_1$.

$(3)$

For every factorization of the fold map $(\operatorname{id}_ B, \operatorname{id}_ B): B \coprod B \rightarrow B$ as a composition

\[ B \coprod B \xrightarrow { (s_0, s_1)} \overline{B} \xrightarrow {\pi } B, \]

where $s_0$ and $s_1$ have disjoint images, there exists a diagram $\overline{f}: \overline{B} \rightarrow \operatorname{\mathcal{C}}$ satisfying $f_0 = \overline{f} \circ s_0$ and $f_1 = \overline{f} \circ s_1$.

Proof of Proposition 4.6.4.1. Apply Corollary 4.6.4.9 in the special case $A = \emptyset $. $\square$