Higher Topos Theory › Section 6.10: Compactly assembled categories and exponentiability
Definition 6.153.
We say that a topos \(T\) is exponentiable if \(S^T\) exists for all \(S\).