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

Example (Homotopy Quotients). Let $G$ be a group and let $BG$ denote the associated groupoid (consisting of a single object with automorphism group $G$). Let $X$ be a simplicial set equipped with an action of $G$, which we identify with a functor $\mathscr {F}: BG \rightarrow \operatorname{Set_{\Delta }}$. Applying Corollary, we obtain an isomorphism of simplicial sets $X_{\mathrm{h}G} \xrightarrow {\sim } \operatorname{N}_{\bullet }^{\mathscr {F}}(BG)$, where $X_{\mathrm{h}G}$ is the homotopy quotient of $X$ by the action of $G$ (Example If $X$ is a Kan complex, then Corollary guarantees that $X_{\mathrm{h}G}$ is also a Kan complex.