Let $\kappa$ be a regular cardinal. It seems reasonable to introduce the following definition:
Definition. A simplicial set $K$ is $\kappa$-sifted if, for every set $E$ with $\lvert E\rvert<\kappa$, the diagonal functor $K\to K^E$ is cofinal.
It follows from [Lurie: Higher Topos Theory, Prop 5.3.1.22] that every $\kappa$-filtered $\infty$-category is $\kappa$-sifted. On the other hand, the category ${\mathbf\Delta}^{\operatorname{op}}$ seems to be $\kappa$-sifted since the product of any $\kappa$'s simplices is still weakly contractible.
I wonder:
- Is there any study of this notion in the literature?
- To what extent, $\kappa$-sifted colimits = $\kappa$-filtered colimits + geometric realizations? For example, let $\mathcal C$ be an $\infty$-category with small limits, and $F\colon\mathcal C\to\mathcal D$ a functor. Is it true that, if $F$ preserves geometric realizations and is $\kappa$-accessible, then it preserves $\kappa$-sifted colimits? In the 1-category situation with $\kappa=\aleph_0$, this is in [Adámek–Rosický–Vitale, On Algebraically Exact Categories and Essential Localizations of Varieties].