Corollary 6.146.
Let \(T\) be a topos and \(C\) a presentable category which is compactly assembled. Then the equivalence
\[\FunL(\Fun^{\omega}(C,\An), T) \simeq \Fun_{\omega}(C\catop,T)\]
restricts to an equivalence
\[\Fun_{\Logos}(\Fun^{\omega}(C,\An), T) \simeq \FunR(C\catop,T).\]