Let $C$ be a diagram. Consider a functor $F: C \to \mathbb{E}\_{\infty}(Sp)$ from the diagram to the category of $\mathbb{E}\_{\infty}$-rings in spectra. Let $R$ be the limit of this diagram.


Given the functor $F$, we can also construct $F^{\prime}: C \to Cat\_\infty$, $c \mapsto Mod\_{F(c)}$, where $Mod\_{F(c)}$ is the infinity category of modules over the ring $F(c)$. Then we have an adjunction $$Mod\_R\rightleftharpoons\lim\_C(c \mapsto Mod\_{R(c)}).$$ The map from $Mod\_R$ is simply given by ``tensoring up'' through the diagram. For the right adjoint,I have heard that it can be written explicitly as a homotopy limit of a diagram of modules. I was wondering if anyone had any reference for this. To explain what I mean by explicit description I have a small example below.


Example: For odd primes, we have an equalizer diagram for the $K(1)$- local sphere given by
$$L\_{K(1)}S \rightarrow K{{ \xrightarrow{\Psi^g}}\atop{\xrightarrow[i\_K ] {}}} K$$
where $g$ is a topological generator of $\mathbb{Z}\_p^{\times}$ and $\Psi^g$ denotes the Adams operation. This diagram gives rise to the adjunction
$$L\_{K(1)}Sp \rightleftharpoons \lim (Mod\_K \rightrightarrows Mod\_K)$$
In this case the objects of the limit category are given pairs $(M,\phi)$ where $\phi : M \wedge \_{\psi^g} K \to M$ is an isomorphism. The right adjoint is simply given by $lim(M \xrightarrow{\phi \circ \psi^g -1} M)$ ie the equaliser of $\phi \circ \psi^g$ and $id$. I am looking for a similar description for bigger diagrams with more simplices. Thank you in advance.



Explicit description of the right adjoint
See Theorem B in [On conjugates and adjoint descent](https://arxiv.org/abs/1705.04933), Horev-Yanovski, which states exactly this. The statement doesn't include this, but the body of the paper describes explicitly in what way the right adjoint is a limit of the right adjoints.


Note that your example is not a special case of your general setup because $Mod\_{L\_{K(1)}S}$ is not equivalent to $L\_{K(1)}Sp$.


