Exercise 4.34.
The category \(\Topos\) is tensored and cotensored over \(\Cat\): for topoi \(S,T\) and a category \(C\), there exist topoi \(S^C\) and \(C \otimes T\) such that
\[\Geom(T,S^C) \simeq \Fun(C,\Geom(T,S)) \simeq \Geom(C \otimes T, S).\]
Show that \(C \otimes T \simeq \Fun(C,T)\), and describe \(S^C\) using a presentation of \(S\).