Exponentiability for maps means fibrewise core-compactness. (Q1420640)

An object \(A\) in a finitely complete category \({\mathcal C}\) is called exponentiable provided that the endo\-functor \(A \times\underline{\quad}:{\mathcal C} \rightarrow{\mathcal C}\) is coadjoint. The exponentiable objects in the category \({\mathcal T}op\) (resp. \({\mathcal H}aus\)) of topological (resp. Hausdorff) spaces are known to be the core-compact (resp. locally compact) spaces. The author generalizes these results to objects in comma-categories of the form \({\mathcal T}op\downarrow {\mathcal K}\), i.e., to continuous maps \(f: A\rightarrow K\). He introduces the fibre versions of core-compactness and local compactness and demonstrates that \(f\colon X\rightarrow K\) is exponentiable iff it is fibrewise core-compact; if \(f: X\rightarrow K\) is separated (i.e., distinct points in the same fibre have disjoint neighbourhoods in \(X\)), then the following conditions are equivalent: \(f\) is exponentiable, \(f\) is fibrewise core-compact, \(f\) is fibrewise locally compact, \(f\) is the restriction of a perfect (i.e., separated and proper) map to an open subspace.