Skip to main content
1 of 7
Z. M
  • 2.8k
  • 6
  • 20

Notion of $\kappa$-sifted categories?

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:

  1. Is there any study of this notion in the literature?
  2. 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].
Z. M
  • 2.8k
  • 6
  • 20