Let $C$ be a pointed $\infty$-category which admits finite limits.




---


Let $Sp(C)$ denote the $\infty$ category of *spectrum objects*. One way to define, i.e. [1.4.2.24](https://www.math.ias.edu/%7Elurie/papers/HA.pdf), is by taking the homotopy limit in $Cat\_\infty$, the $\infty$-category of categories.
$$Sp(C):= \varprojlim \left( \cdots \xrightarrow {\Omega} C \xrightarrow {\Omega} C \right) $$


Let us denote $\Omega^\infty: Sp(C) \rightarrow C$ as the projection onto the last component.




---


I would like to understand what categorical properties of $\Omega^\infty$ satisfy. My question is


**If each $\Omega$ commute with $I$-indexed limit does this imply $\Omega^\infty$ does too?**




---


The reason I am concerned with this question: It is claimed in [C.1.4.1](https://www.math.ias.edu/%7Elurie/papers/SAG-rootfile.pdf), that



> 
> if $C$ is a prestable and presentable $\infty$-category and $\Omega:C \rightarrow C$ commutes with filtered colimits then $\Omega^\infty$ commutes with filtered colimits.
> 
> 
> 


A prestable $\infty$-category by definition can be intriscally [characterized, C.1.2.1](https://www.math.ias.edu/%7Elurie/papers/SAG-rootfile.pdf) as a category which satisfies the following conditions


* pointed and admits finite colimits.
* suspension is fully fiathful
* every morphism $Y \rightarrow \Sigma Z$ lies in a pullback square with top right part $X \rightarrow Y \rightarrow \Sigma Z$ and bottom left $0$. Further, the sequence $X \rightarrow Y \rightarrow \Sigma Z$ is a cofiber sequence.




---


I have recorded my thoughts below, which one may safely ignore.


Both strategies I know do not really apply - these are based on the case $C=S\_\*$, the $\infty$-cat of pointed spaces.


Strategy 1. $\Omega^\infty: Sp(S) \rightarrow S\_\*$. $\Omega^\infty$ is corepresented by $\mathbb{S}=\Sigma^\infty S^0$, the sphere spectrum, where we $\Sigma^\infty$ is left adjoint of $\Omega^\infty$. Now by noting that that $S^0$ is a compact object in $S\_\*$ result follows.


Strategy 2. Consider the $\infty$-cat $Pr^\omega$ of compactly generated, in the sense of [5.5.7.1](https://www.math.ias.edu/%7Elurie/papers/HTT.pdf), $\infty$-categories with right adjoints.
We prove that $S\in Pr^w$ and that $Pr^w \hookrightarrow Cat\_\infty$ reflects (filtered) limits.




---



When does the loop functor $\Omega^\infty:Sp(C) \rightarrow C$ commute with filtered colimits?
The result is true, more generally, if you take a class of diagrams $\mathcal K$ and the $\infty$-category $\widehat{Cat\_\infty}^\mathcal K$ of $\infty$-categories that have all $\mathcal K$-indexed colimits, and functors between them that preserve those, then the forgetful functor $\widehat{Cat\_\infty}^\mathcal K\to \widehat{Cat\_\infty}$ preserves all limits, in fact it has a left adjoint.


This is stated as Corollary 5.3.6.10. in Lurie's *Higher Topos Theory* (with his notations, $\mathcal K' =$ my $\mathcal K$, and his $\mathcal K= \emptyset$).


From this, your result follows, as if $\Omega$ preserves $I$-indexed colimits, then your diagram lives in $\widehat{Cat\_\infty}^{\{I\}}$, so its limit does too, and the projection functors too, in particular $\Omega^\infty: Sp(C)\to C$ is one of those projection functors, so it preserves $I$-indexed colimits (this is, of course, assuming that $C$ has all $I$-indexed colimits - which is the case in the statement you refer to, as of course a presentable $\infty$-category has all filtered colimits)


Your strategy 1 is in this sense somehow misguided, as proving that $\mathbb S$ is compact essentially uses that $\Omega^\infty$ preserves filtered colimits.


Actually, a less general, but perhaps easier proof works in the special case of $Sp(C)$ and filtered colimits: $Sp(C)$ can be seen as a certain full subcategory of $Fun(\mathbb{Z\times Z},C)$ (such a functor is a grid, $Sp(C)$ is the full subcategory on those grids that are only $0$ objects off the diagonal, and such that certain squares are pullbacks), and $\Omega^\infty$ is then simply the restriction to this subcategory of the evaluation at $0$.


Now if $C$ has all filtered colimits, and $\Omega$ commutes with those, then $Sp(C)\subset Fun(\mathbb{Z\times Z},C)$ is closed under filtered colimits (the only pullbacks appearing in its definition are pullbacks defining $\Omega$), so that, as in functor categories in general, filtered colimits in $Sp(C)$ are computed pointwise; and so in particular $\Omega^\infty$ commutes with those.


This second proof is less general, but it's easier and gets you what you want- and perhaps it allows for a better understanding in this specific context ?


