Kerodon

Lemma 11.5.0.26. Let $\operatorname{\mathcal{C}}$ be a category and let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$ be a diagram of simplicial sets indexed by $\operatorname{\mathcal{C}}$. Suppose we are given morphisms of simplicial sets $A \xrightarrow {f} B \xrightarrow {g} \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$, where $f$ is right anodyne. Then the induced map $A \times _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \underset { \longrightarrow }{\mathrm{holim}}( \mathscr {F} ) \rightarrow B \times _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \underset { \longrightarrow }{\mathrm{holim}}( \mathscr {F} )$ is right anodyne.