# Kerodon

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

Variant 5.6.4.12. Let $\kappa$ be an uncountable cardinal. We let $\operatorname{\mathcal{S}}^{< \kappa }$ denote the full subcategory of $\operatorname{\mathcal{S}}$ spanned by the $\kappa$-small Kan complexes, which we also regard as a full subcategory of $\operatorname{\mathcal{QC}}^{< \kappa }$. Similarly, we let $\operatorname{\mathcal{S}}^{< \kappa }_{\ast }$ denote the full subcategory of $\operatorname{\mathcal{S}}_{\ast }$ spanned by those pointed Kan complexes $(X,x)$ where $X$ is $\kappa$-small.