This is a follow-up to [this question](https://mathoverflow.net/questions/251283/are-morphisms-of-parametrized-spectra-themselves-parametrized-morphisms-of-spect), in which Denis Nardin nicely explained that
$$
\operatorname{Map}\_{\operatorname{Fun}(X, \operatorname{Sp})}(E\_X, E'\_X)
\simeq
\operatorname{Map}(X, \operatorname{Map}\_{\operatorname{Sp}}(E, E')).
$$
where $E, E'$ are spectra and $E\_X, E'\_X$ are their "constant" parametrized versions over a base space $X$.


Now when $X$ is an $E\_\infty$-space and $E$ is a commutative ring spectrum, then unless I am wrong think so should be $E\_X$ a commutative algebra object in parametrized spectra for the Day product monoidal structure. (please correct me if I'm wrong on this!)


**Question:** Can we in that case obtain a version of the above equivalence which takes the monoidal structure into account, i.e. with morphisms of parametrized ring spectra on the left and morphisms of $E\_\infty$-spaces on the right (potentially also replacing morphisms of spectra with morphisms of commutative ring spectra, if that makes more sense)?


I am not sure the same sort of proof as in the previous question can be used because it relied on expressing natural transformation with an end, but here we only want to consider morphisms of parametrized ring spectra, that is to say monoidal functors. Though all of this is quite new to me and I may be missing something quite easy.


P.S.: I was initially going to ask this in a comment to the previous question but I found it is both too long and potentially interesting on its own.



Morphisms of parametrized ring spectra
So the answer is a bit surprising (maybe I have a mistake). You have an adjunction between $Fun(X,\mathrm{Sp})$ and $\mathrm{Sp}$ which in one direction sends a functor to its (homotopy) colimit and on the other hand sends a spectrum to the constant functor $X \to \mathrm{Sp}$ with that value. If $X$ has an $E\_\infty$-structure then $Fun(X,\mathrm{Sp})$ inherits the Day convolution symmetric monoidal structure and the functor $colim: Fun(X,\mathrm{Sp}) \to \mathrm{Sp}$ is symmetric monoidal. As a result the right adjoint $const: \mathrm{Sp} \to Fun(X,\mathrm{Sp})$ carries a canonical lax-monoidal structure, and the adjunction $colim \dashv const$ can be promoted to an adjunction 
$$Alg\_{E\_{\infty}}(Fun(X,\mathrm{Sp})) \rightleftarrows Alg\_{E\_{\infty}}(\mathrm{Sp})$$
on the level of $E\_\infty$-algebras. In particular, if $E$ is an $E\_\infty$-ring spectrum then $E\_X = const(E)$ is naturally an $E\_\infty$-algebra with respsect to the day convolution product. By adjunction one gets that
$$ Map\_{Alg\_{E\_{\infty}}(Fun(X,\mathrm{Sp}))}(E\_X,E'\_X) \simeq Map\_{Alg\_{E\_{\infty}}(\mathrm{Sp})}(colim\_XE\_X,E') \simeq Map\_{Alg\_{E\_{\infty}}(\mathrm{Sp})}(\Sigma^{\infty}\_+(X) \wedge E,E') $$
On the other hand, smash of $E\_\infty$-ring spectra is just the $\infty$-categorical coproduct of ring spectra! We then get that
$$ Map\_{Alg\_{E\_{\infty}}(\mathrm{Sp})}(\Sigma^{\infty}\_+(X) \wedge E,E') \simeq Map\_{Alg\_{E\_{\infty}}(\mathrm{Sp})}(\Sigma^{\infty}\_+(X),E') \times Map\_{Alg\_{E\_{\infty}}(\mathrm{Sp})}(E,E') $$
In other words, to describe a map of $E\_\infty$-algebras $E\_X \to E'\_X$ one needs to give a map of $E\_\infty$-rings spectra $f:E \to E'$ together with a map of $E\_\infty$-ring spectra $a:\Sigma^{\infty}\_+(X) \to E'$. Alternatively, we may write a map of $E\_\infty$-ring spectra $a:\Sigma^{\infty}\_+(X) \to E'$ as a map of $E\_{\infty}$-monoids $a:X \to Map(S^0,E')$. Given a pair $(f,a)$ the associated map $E\_X \to E\_X'$ is presumably given at the point $x \in X$ by the map $a\_x\cdot f \in Map\_{\mathrm{Sp}}(E,E')$. 


**Edit**: Let $\mathcal{C} = Fun(X,\mathrm{Sp})$ with the Day convolution symmetric monoidal structure. The OP is asking if one can write $Map\_{Alg\_{E\_\infty}(\mathcal{C})}(E\_X,E'\_X)$ as a mapping space of $E\_\infty$-spaces $X \to Map\_{\mathrm{Sp}}(E,E')$. This statement cannot be true as is, because $Map\_{\mathrm{Sp}}(E,E')$ has no natural $E\_\infty$-structure. Instead, it has an **$\infty$-operad** structure. More precisely, there exists an $\infty$-opead $\mathcal{O}\_{E,E'}$ whose colors are the spectra maps $E \to E'$, and such that for $f\_1,...,f\_n \in Map\_{\mathrm{Sp}}(E,E')$ and a target $f\_0 \in Map\_{\mathrm{Sp}}(E,E')$ the space of multi-maps $(f\_1,...,f\_n) \to f\_0$ is the space of **homotopies** from the composition $E^{\wedge n} \stackrel{f\_1 \wedge ... \wedge f\_n}{\longrightarrow} (E')^{\wedge n} \to E'$ to the composition $E^{\wedge n} \to E \stackrel{f\_0}{\to} E'$. Note that $E\_\infty$-algebras in $\mathcal{O}\_{E,E'}$ are exactly the $E\_\infty$-maps $E \to E'$. Since $X$ is an $E\_\infty$-space we can also think of it as an $\infty$-operad $\mathcal{O}\_X$ whose colors are the points of $X$ and such that for $x\_1,...,x\_n \in X$ and a target point $x\_0 \in X$ the space of multimaps $(x\_1,...,x\_n) \to x$ is the space of paths from $x\_1\cdot... \cdot x\_n$ to $x\_0$. One can then show that
$$ Map\_{Alg\_{E\_\infty}(\mathcal{C})}(E\_X,E'\_X) \simeq Map\_{\infty-operads}(\mathcal{O}\_X,\mathcal{O}\_{E,E'}) $$
It so happens that in this particular case this space of operad maps breaks into a product $Map\_{E\_\infty}(X,Map\_{\mathrm{Sp}}(S^0,E')) \times Map\_{Alg\_{E\_{\infty}}(\mathrm{Sp})}(E,E')$ as described above. To understand why this happens, we note that the $\infty$-operad $\mathcal{O}\_X$ has a **unit**, i.e., it has a color which corepresents the space of $0$-ary maps, namely, the color corresponding to the unit $1 \in X$. This color carries a canonical structure of an $E\_\infty$-object in $\mathcal{O}\_X$. In particular, every $\infty$-operad map $\mathcal{O}\_X \to \mathcal{O}\_{E,E'}$ will send $1$ to an $E\_\infty$-algebra object in $\mathcal{O}\_{E,E'}$, i.e., to a map of $E\_\infty$-algebras $f:E \to E'$. We hence obtain a map of spaces
$$ p:Map\_{\infty-operads}(\mathcal{O}\_X,\mathcal{O}\_{E,E'}) \to Map\_{Alg\_{E\_\infty}(\mathrm{Sp})}(E,E') $$
Now for every $E\_\infty$-algebra object $f$ of $\mathcal{O}\_{E,E'}$ one can form the $\infty$-operad $\mathrm{Mod}\_f(\mathcal{O}\_{E,E'})$ of $f$-modules. One can then show that the homotopy fiber of $p$ over $f$ is equivalent to the subspace of $\infty$-operad maps $\mathcal{O}\_X \to \mathrm{Mod}\_f(\mathcal{O}\_{E,E'})$ which send $1$ to the $f$ (considered as an $f$-module). Now happens something which is very specific to this situation: the $\infty$-operads $\mathrm{Mod}\_f(\mathcal{O}\_{E,E'})$ are canonically equivalent to each other for all $f$! The reason is that, just like $E\_\infty$-algebra objects in $\mathcal{O}\_{E,E'}$ correspond to $E\_\infty$-algebra maps $E \to E'$, modules over $f$ correspond to "affine maps" $E \to E'$ whose "linear part" is $f$, i.e., maps $g: E \to E'$ which loosely speaking satisfy $g(xy) = f(x)g(y)$. Such maps are all given by the informal formula $x \mapsto f(x)\cdot b$. More precisely, evaluation at the unit $S^0 \to E$ induces an equivalence between the space of $f$-modules and the space of maps $S^0 \to E'$. We then see that for every such $f$, the $\infty$-operad $\mathrm{Mod}\_f(\mathcal{O}\_{E,E'})$ is canonically equivalent to the $\infty$-operad associated with the $E\_\infty$-space $Map\_{\mathrm{Sp}}(S^0,E')$. We then obtain a canonical splitting
$$ Map\_{Alg\_{E\_\infty}(\mathcal{C})}(E\_X,E'\_X) \simeq Map\_{E\_\infty}(X,Map\_{\mathrm{Sp}}(S^0,E')) \times Map\_{Alg\_{E\_{\infty}}(\mathrm{Sp})}(E,E') $$


