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