upharpoonright}{\mathcal{H}})
=
\theta(f\circ\imath_{x}(l_{x}))
{\upharpoonright}{\mathcal{H}}
\\
&=
\left[
\theta\circ\imath_{x}(f(x)\circ l_{x})
\right]
{\upharpoonright}{\mathcal{H}}
=
\left[
g_{x}(f(x)\circ l_{x})
\right]
{\upharpoonright}{\mathcal{H}}
\\
&=
h_{x}(f(x)\circ l_{x})
=
(h_{x}\circ L_{f(x)})l_{x},\end{aligned}$$ where $L_{f_{x}}:{\mathcal{L}}({\mathfrak{E}}_{x})\ni 
s_{x}\mapsto f_{x}\circ s_{x}
\in{\mathcal{L}}({\mathfrak{E}}_{x})$ for all $f_{x}\in{\mathcal{L}}({\mathfrak{E}}_{x})$. Here the first and fourth equality follow by Prop. \[10231801\], the second one by Lemma \[17141401\]. Moreover by hypothesis $L_{f(x)}$ is continuous, while $h_{x}$ is continuous by, so $L_{\theta(f)}\circ h_{x}$ is linear and continuous. Therefore $L_{\theta(f)}$ is linear and continous by. Similarly $R_{F}$ is linear and continuous, where $R_{F}:{\mathfrak{G}}\ni H\mapsto H\circ F\in{\mathfrak{G}}$, thus the statement.

\[14321401\] Set $$\begin{cases}
\Psi_{Y}^{{\mathcal{H}}}:
End({\mathcal{H}})^{Y}
\to
\prod_{x\in X}
End({\mathfrak{E}}_{x})^{Y},
\\
(\Pr_{x}\circ\Psi_{Y}^{{\mathcal{H}}})({\overline}{F})(s)
=
(\Pr_{x}\circ\chi_{{\mathcal{H}}})({\overline}{F}(s)).
\end{cases}$$ Moreover set $$\begin{cases}
\Lambda:
\prod_{x\in X}
End({\mathfrak{E}}_{x})^{Y}
\to
\left(End\left(\prod_{x
upharpoonright}{\mathcal{H } }) 
 = 
 \theta(f\circ\imath_{x}(l_{x }) ) 
 { \upharpoonright}{\mathcal{H } } 
 \\ 
 & = 
 \left [ 
 \theta\circ\imath_{x}(f(x)\circ l_{x }) 
 \right ] 
 { \upharpoonright}{\mathcal{H } } 
 = 
 \left [ 
 g_{x}(f(x)\circ l_{x }) 
 \right ] 
 { \upharpoonright}{\mathcal{H } } 
 \\ 
 & = 
 h_{x}(f(x)\circ l_{x }) 
 = 
 (h_{x}\circ L_{f(x)})l_{x},\end{aligned}$$ where $ L_{f_{x}}:{\mathcal{L}}({\mathfrak{E}}_{x})\ni 
 s_{x}\mapsto f_{x}\circ s_{x } 
 \in{\mathcal{L}}({\mathfrak{E}}_{x})$ for all $ f_{x}\in{\mathcal{L}}({\mathfrak{E}}_{x})$. Here the first and fourth equality follow by Prop. \[10231801\ ], the second one by Lemma \[17141401\ ]. Moreover by hypothesis $ L_{f(x)}$ is continuous, while $ h_{x}$ is continuous by, so $ L_{\theta(f)}\circ h_{x}$ is analogue and continuous. consequently $ L_{\theta(f)}$ is analogue and continous by. Similarly $ R_{F}$ is linear and continuous, where $ R_{F}:{\mathfrak{G}}\ni H\mapsto H\circ F\in{\mathfrak{G}}$, thus the statement. 

 \[14321401\ ] determine $ $ \begin{cases } 
 \Psi_{Y}^{{\mathcal{H } } }: 
 End({\mathcal{H}})^{Y } 
 \to 
 \prod_{x\in X } 
 End({\mathfrak{E}}_{x})^{Y }, 
 \\ 
 (\Pr_{x}\circ\Psi_{Y}^{{\mathcal{H}}})({\overline}{F})(s) 
 = 
 (\Pr_{x}\circ\chi_{{\mathcal{H}}})({\overline}{F}(s) ). 
 \end{cases}$$ Moreover set up $ $ \begin{cases } 
 \Lambda: 
 \prod_{x\in adam } 
 End({\mathfrak{E}}_{x})^{Y } 
 \to 
 \left(End\left(\prod_{x
uphwrpoonright}{\mathcal{H}})
=
\theta(n\circ\imath_{x}(l_{x}))
{\uphcepoonrmght}{\matgcal{H}}
\\
&=
\lefg[
\theta\circ\imath_{x}(f(x)\circ l_{x})
\rigit]
{\upyarpoinright}{\mathcal{H}}
=
\left[
g_{x}(f(b)\circ l_{x})
\rpght]
{\upharpooncight}{\mathcal{H}}
\\
&=
h_{x}(f(e)\dirc l_{x})
=
(m_{r}\circ P_{f(x)})l_{r},\eid{aligned}$$ where $L_{f_{x}}:{\mathcan{L}}({\mathfrak{E}}_{x})\ni 
s_{b}\mcpsto f_{x}\circ s_{x}
\in{\mathcal{L}}({\mathfrak{E}}_{x})$ sor all $f_{d}\in{\mathcal{L}}({\matrfral{Q}}_{x})$. Hsge the first and fourth equalitg follox by Prop. \[10231801\], the xecond one by Lemma \[17141401\]. Moreoger hy hypothesis $L_{f(x)}$ ls continuooa, wrule $h_{x}$ is covtinuous bj, so $L_{\theta(r)}\circ h_{x}$ is linear and continuojs. Thzrefore $L_{\thgcq(f)}$ lv linear anv contpnous by. Similarly $R_{F}$ is linrar and continmous, xherw $R_{F}:{\mathfrak{G}}\ni H\mapsvo H\circ F\in{\mathfrak{D}}$, thus tha atatement.

\[14321401\] Set $$\begun{xases}
\Ksi_{Y}^{{\mdthcxo{H}}}:
Evd({\mzticam{H}})^{Y}
\to
\pgod_{e\in X}
End({\matgfrak{E}}_{x})^{Y},
\\
(\Pr_{x}\xirc\Psi_{Y}^{{\mathcal{H}}})({\ovetlybe}{F})(s)
=
(\Pr_{x}\circ\chj_{{\mathcwl{R}}})({\overline}{F}(s)).
\end{cases}$$ Moreover set $$\begin{cdsea}
\Lambda:
\prod_{x\in X}
End({\mathdrak{E}}_{x})^{Y}
\to
\left(End\left(\ptod_{x
upharpoonright}{\mathcal{H}}) = \theta(f\circ\imath_{x}(l_{x})) {\upharpoonright}{\mathcal{H}} \\ &= \left[ \right] = \left[ l_{x}) \right] {\upharpoonright}{\mathcal{H}} (h_{x}\circ where $L_{f_{x}}:{\mathcal{L}}({\mathfrak{E}}_{x})\ni s_{x}\mapsto s_{x} \in{\mathcal{L}}({\mathfrak{E}}_{x})$ for $f_{x}\in{\mathcal{L}}({\mathfrak{E}}_{x})$. Here the first and fourth follow by Prop. \[10231801\], the second one by Lemma \[17141401\]. Moreover by hypothesis is continuous, while $h_{x}$ is continuous by, so $L_{\theta(f)}\circ h_{x}$ is linear and Therefore is and by. Similarly $R_{F}$ is linear and continuous, where $R_{F}:{\mathfrak{G}}\ni H\mapsto H\circ F\in{\mathfrak{G}}$, thus the statement. \[14321401\] $$\begin{cases} \Psi_{Y}^{{\mathcal{H}}}: End({\mathcal{H}})^{Y} \to \prod_{x\in X} End({\mathfrak{E}}_{x})^{Y}, \\ = (\Pr_{x}\circ\chi_{{\mathcal{H}}})({\overline}{F}(s)). \end{cases}$$ Moreover $$\begin{cases} \Lambda: \prod_{x\in X} End({\mathfrak{E}}_{x})^{Y} \left(End\left(\prod_{x
upharpoonright}{\mathcal{H}})
=
\theTa(f\circ\imaTh_{x}(l_{x}))
{\UphArpOoNrigHt}{\maThcal{H}}
\\
&=
\left[
\thetA\Circ\Imath_{x}(f(x)\circ l_{x})
\right]
{\uphArpooNrIGht}{\mAThCal{H}}
=
\lEft[
g_{x}(f(x)\CIrC L_{X})
\riGhT]
{\uPhaRpOOnRight}{\MatHcal{H}}
\\
&=
h_{x}(F(x)\circ l_{x})
=
(h_{x}\CirC L_{F(x)})l_{x},\end{alignED}$$ wHere $L_{f_{x}}:{\matHcaL{L}}({\mathfrak{E}}_{x})\Ni 
s_{X}\mapstO f_{X}\ciRC s_{x}
\in{\MatHcal{L}}({\MathfrAK{E}}_{x})$ for All $f_{x}\in{\maThCAl{L}}({\matHFrak{E}}_{x})$. HERE tHe fiRst and fourth equalITy FOllow by Prop. \[10231801\], the Second OnE By lEMma \[17141401\]. morEover by hypOtHesis $l_{F(x)}$ is conTInUOUS, whILe $h_{x}$ is continuOus by, so $L_{\theTA(f)}\cIrc h_{x}$ iS lIneAR and coNtinuOuS. theRefore $L_{\thetA(f)}$ is Linear and ContinOUs by. SimILarly $R_{F}$ Is lineAr aNd cOntiNUoUs, WheRe $r_{f}:{\maTHfRak{g}}\Ni H\Mapsto H\cIrC F\In{\matHfraK{g}}$, THUs thE stAtemEnt.

\[14321401\] SeT $$\begin{cases}
\PsI_{Y}^{{\mAthcAL{H}}}:
ENd({\matHcal{H}})^{y}
\to
\pRoD_{x\in X}
end({\matHfrak{e}}_{x})^{y},
\\
(\Pr_{x}\circ\Psi_{Y}^{{\matHcal{h}}})({\overline}{f})(s)
=
(\PR_{x}\CirC\cHi_{{\matHCal{H}}})({\ovErlIne}{f}(s)).
\end{caSes}$$ MoreOVer SeT $$\BEGiN{cases}
\Lambda:
\prod_{x\iN X}
eND({\mAthfrak{E}}_{X})^{Y}
\to
\leFT(ENd\LEft(\prod_{x
upharpoonright}{\mathcal{H }})
=
\the ta(f\ cir c\i ma th_{ x}(l _{x}))
{\uphar p oonr ight}{\mathcal{H}}
\\&=
\l ef t [
\t h et a\cir c\imath _ {x } ( f(x )\ ci rcl_ { x} )
\ri ght ]
{\uph arpoonrigh t}{ \m athcal{H}}
= \l eft[
g_{x} (f( x)\circ l_{x })\right ]{\u p harpo onr ight} {\math c al{H}} 
\\
&=
h_ {x } (f(x)\ c irc l_{ x } )=
(h _{x}\circ L_{f(x) } )l _ {x},\end{align ed}$$wh e re $ L_{ f_{ x}}:{\math ca l{L}} ( {\mathf r ak { E } }_{ x })\ni 
s_{x}\ mapsto f_{x } \ci rc s_{ x} 
\i n {\math cal{L }} ( {\m athfrak{E}} _{x} )$ for al l $f_{ x }\in{\m a thcal{L }}({\m ath fra k{E} } _{ x} )$.  H e ret he  fi r stand four th  e quali ty f o l l o w by  Pr op.\[102 31801\], thesec ondo neby Le mma \ [171 41 401\] . More overby  hypothesis $L_ {f(x )}$ is co nti nu ous ,while $h_{x} $ i s c ontinuo us by,s o $ L_ { \ t he ta(f)}\circ h_{x}$  i s li near and  conti n uo us .  Therefo re  $L _{\t h e ta(f) }$ i s  l inear an d cont i no us  by. Si mi larly$R _{F }$is li n earand co ntinuous , whe r e $R_{F}:{\mat h frak{G}}\ni H \ ma p s to H\ci rcF\in{\mathf rak{ G }}$,  thu s  t hes tatem ent.
\ [ 14 3 21401\] Set $$\begi n{ cases} 
\Psi _{Y}^{{\mathc al{H}}}:
E n d ( {\mathca l{H} } )^ { Y}
\to
\prod_{ x\inX}
End({\m a thfrak{E }}_{x })^{Y},\\
(\Pr_{ x } \circ\Ps i_{ Y}^ {{\ mat h c al {H}}})({\over l i ne}{ F} )(s)
=(\P r_{x}\c irc \ch i_{ {\m at hcal{H}}} )({\over li ne }{ F} (s) ).
\e n d{cases} $$  Mo re ove r set $$\beg in{ca ses} 
\ La m bda :
\prod _ {x \ i n X} 
E nd ({\m ath fr ak{E} }_{x } )^{ Y}
\to\left(End \le f t(\p ro d_ {x
upharpoonright}{\mathcal{H}})
=
\theta(f\circ\imath_{x}(l_{x}))
{\upharpoonright}{\mathcal{H}}
\\
&=
\left[
\theta\circ\imath_{x}(f(x)\circ l_{x})
\right]
{\upharpoonright}{\mathcal{H}}
=
\left[
g_{x}(f(x)\circ_l_{x})
\right]
{\upharpoonright}{\mathcal{H}}
\\
&=
h_{x}(f(x)\circ l_{x})
=
(h_{x}\circ_L_{f(x)})l_{x},\end{aligned}$$ where $L_{f_{x}}:{\mathcal{L}}({\mathfrak{E}}_{x})\ni 
s_{x}\mapsto_f_{x}\circ s_{x}
\in{\mathcal{L}}({\mathfrak{E}}_{x})$_for_all $f_{x}\in{\mathcal{L}}({\mathfrak{E}}_{x})$._Here_the first and_fourth equality follow_by Prop. \[10231801\], the_second one by_Lemma_\[17141401\]. Moreover by hypothesis $L_{f(x)}$ is continuous, while $h_{x}$ is continuous by, so $L_{\theta(f)}\circ_h_{x}$_is linear_and_continuous._Therefore $L_{\theta(f)}$ is linear and_continous by. Similarly $R_{F}$ is_linear and_continuous, where $R_{F}:{\mathfrak{G}}\ni H\mapsto H\circ F\in{\mathfrak{G}}$, thus the_statement.

\[14321401\]_Set $$\begin{cases}
\Psi_{Y}^{{\mathcal{H}}}:
End({\mathcal{H}})^{Y}
\to
\prod_{x\in X}
End({\mathfrak{E}}_{x})^{Y},
\\
(\Pr_{x}\circ\Psi_{Y}^{{\mathcal{H}}})({\overline}{F})(s)
=
(\Pr_{x}\circ\chi_{{\mathcal{H}}})({\overline}{F}(s)).
\end{cases}$$_Moreover set $$\begin{cases}
\Lambda:
\prod_{x\in X}
End({\mathfrak{E}}_{x})^{Y}
\to
\left(End\left(\prod_{x