$\newcommand\Ind{\mathsf{Ind}}\newcommand\Ord{\mathsf{Ord}}\newcommand\Psh{\mathsf{Psh}}$For $\kappa \leq \lambda \leq \Ord$ regular cardinals and $\mathcal C$ an essentially small category, let $\Ind\_\kappa^\lambda(\mathcal C)$ be the free completion of $\mathcal C$ under $\lambda$-small, $\kappa$-filtered colimits. So $\Ind\_\kappa^{\Ord}(\mathcal C) = \Ind\_\kappa(\mathcal C)$ is the usual free completion of $\mathcal C$ under $\kappa$-filtered colimits.


An explicit construction of $\Ind\_\kappa^\lambda(\mathcal C)$ is given by taking the smallest full subcategory of the presheaf category $\Psh(\mathcal C)$ which contains the representables and is closed under $\lambda$-small, $\kappa$-filtered colimits. In other words, there is a monotonic, inflationary endofunction $I\_\kappa^\lambda$ on full subcategories of $\Psh(\mathcal C)$ where $I\_\kappa^\lambda(\mathcal D)$ comprises those objects which are $\lambda$-small, $\kappa$-filtered colimits of objects of $\mathcal D$; then $\Ind\_\kappa^\lambda(\mathcal C) = \cup\_{\alpha \in \Ord} (I\_\kappa^\lambda)^\alpha(\mathcal C)$ is the least fixed-point of $I\_\kappa^\lambda$ above the full subcategory of representables $\mathcal C \subseteq \Psh(\mathcal C)$, given by iterating $I\_\kappa^\lambda$ transfinitely.


**Questions:**


1. For regular cardinals $\kappa \leq \lambda \leq \Ord$, when do we have $\Ind\_\kappa^\lambda(\mathcal C) = I\_\kappa^\lambda(\mathcal C)$? That is, when is it the case that a $\lambda$-small, $\kappa$-filtered colimit of $\lambda$-small, $\kappa$-filtered colimits of representables is already a $\lambda$-small, $\kappa$-filtered colimit of representables?


It is well-known that a sufficient criterion is that $\lambda = \Ord$. I suspect that when $\lambda < \Ord$, the answer is "not always". I believe it also suffices for $\mathcal C$ to have $\kappa$-small colimits. I'm interested in a sufficient criterion that holds for all $\mathcal C$. I suspect it may suffice to have $\kappa \triangleleft \lambda$ (that's the "[sharply below](https://ncatlab.org/nlab/show/sharply+smaller+cardinal)" relation).


2. For regular cardinals $\kappa \leq \lambda \leq \mu \leq \Ord$, when do we have $\Ind\_\lambda^\mu(\Ind\_\kappa^\lambda(\mathcal C)) \simeq \Ind\_\kappa^\mu(\mathcal C)$?


I suspect again that the answer is "not always", but that a sufficient criterion may be for the pairs $(\kappa,\lambda)$, $(\lambda,\mu)$, and $(\kappa,\mu)$ to each satisfy the sufficient criterion of (1). I'm particularly interested in the case $\kappa = \omega < \lambda < \mu = \Ord$, where I suspect that this always holds (keeping in mind that $\omega \triangleleft \lambda$ for all regular $\lambda$).


I would be interested to know a reference for the answers to (1) and (2).



Does $\mathsf{Ind}_\lambda^\mu(\mathsf{Ind}_\kappa^\lambda(\mathcal C)) = \mathsf{Ind}_\kappa^\mu(\mathcal C)$?
I asked myself the same questions while working on [this paper](https://arxiv.org/abs/1402.6659) [[TAC](http://www.tac.mta.ca/tac/volumes/31/2/31-02abs.html)].
It seemed to me that the way to answer questions like this is to embed $\textbf{Ind}\_\kappa^\lambda (\mathcal{C})$ into the usual $\textbf{Ind}\_\kappa (\mathcal{C})$, use known results for accessible categories, then restrict back to $\textbf{Ind}\_\kappa^\lambda (\mathcal{C})$.
This is possible when $\kappa \trianglelefteq \lambda$ due to the following fact, which is basically proposition 3.5 in op. cit.: $\textbf{Ind}\_\kappa^\lambda (\mathcal{C})$ is precisely the full subcategory of $\textbf{Ind}\_\kappa (\mathcal{C})$ spanned by the $\lambda$-presentable objects.


Thus, to answer question 1: if idempotents in $\mathcal{C}$ split and $\kappa \trianglelefteq \lambda$, then every object in $\textbf{Ind}\_\kappa^\lambda (\mathcal{C})$ is a colimit for a $\lambda$-small $\kappa$-filtered diagram of objects in $\mathcal{C}$, because every $\lambda$-presentable object in $\textbf{Ind}\_\kappa (\mathcal{C})$ is such a colimit by a theorem of Makkai and Paré.


Similarly, to answer question 2: if idempotents in $\mathcal{C}$ split and $\kappa \trianglelefteq \lambda \trianglelefteq \mu$, then $\textbf{Ind}\_\lambda^\mu (\textbf{Ind}\_\kappa^\lambda (\mathcal{C})) \simeq \textbf{Ind}\_\kappa^\mu (\mathcal{C})$, because we have $\textbf{Ind}\_\lambda (\textbf{Ind}\_\kappa^\lambda (\mathcal{C})) \simeq \textbf{Ind}\_\kappa (\mathcal{C})$ by proposition 3.10(iv) in op. cit., which is proven by reducing to the case where $\kappa = \lambda$.


(A side remark: for fixed $\mathcal{C}$, $\textbf{Ind}\_\kappa^\lambda (\mathcal{C})$ is contravariant in $\kappa$ and covariant in $\lambda$, so personally I would reverse the use of subscript and superscript in this notation.)


