Remark 9.2.7.14. For every pair of regular cardinals $\kappa \leq \lambda $, the inclusion map $\operatorname{\mathcal{S}}_{< \kappa } \hookrightarrow \operatorname{\mathcal{S}}_{< \lambda }$ induces a fully faithful functor $\operatorname{Ind}_{\kappa }^{\lambda }( \operatorname{\mathcal{S}}_{< \kappa } ) \hookrightarrow \operatorname{\mathcal{S}}_{< \lambda }$ (see Proposition 9.2.3.1).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$