For a class $\mathcal{J}$ of topological spaces, let $\mathsf{Top}_\mathcal{J}$ denote the category of $\mathcal{J}$-generated spaces, i.e. those spaces $X$ such that $U\subseteq X$ is open iff $f^{-1}(U)$ is open for every continuous $f: J \to X$ for $J \in \mathcal{J}$. Then $\mathsf{Top}_\mathcal{J}$ is a coreflective subcategory of $\mathsf{Top}$.

Then [Dugger](http://pages.uoregon.edu/ddugger/delta.html) Prop 1.15, referring to [Vogt](link.springer.com/article/10.1007%2FBF01222616?LI=true), section 3, asserts that if every $J \in \mathcal{J}$ is exponentiable in $\mathsf{Top}$ (in particular, if every such $J$ is locally compact Hausdorff), and if $\mathcal{J}\times \mathcal{J}$ maps to $\mathsf{Top}_\mathcal{J}$ under binary product in $\mathsf{Top}$, then $\mathsf{Top}_\mathcal{J}$ is cartesian closed.

In particular, if $\mathcal{J}$ is compact Hausdorff spaces, we see that the [$k$-spaces](http://ncatlab.org/nlab/show/compactly+generated+topological+space) are cartesian closed. If $\mathcal{J}$ is the singleton consisting of the one-point compactification of the natural numbers, we see that the [sequential spaces](https://en.wikipedia.org/wiki/Sequential_space) are cartesian closed. If $\mathcal{J}$ is the set of simplices, we see that the [$\Delta$-generated spaces](http://ncatlab.org/nlab/show/Delta-generated+space) are cartesian closed.

My question is: under what conditions is $\mathsf{Top}_\mathcal{J}$ _locally_ cartesian closed? In particular, which of the above spaces are locally cartesian closed? In fact, I don't even know if the [countably-generated spaces](https://en.wikipedia.org/wiki/Countably_generated_space) are cartesian closed. Of course, I would be interested in answers that apply to more general subcategories of $\mathsf{Top}$, or even to more general cartesian closed categories.