Exponentiability for maps means fibrewise core-compactness.
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.
- An elementary approach to exponential spaces
- Bi-quotient maps and Cartesian products of quotient maps
- Cartesianness: topological spaces, uniform spaces, and affine schemes
- General function spaces, products and continuous lattices
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 42968 (Why is no real title available?)
- scientific article; zbMATH DE number 3303759 (Why is no real title available?)
- Note on a theorem due to Borsuk
- Perfect maps are exponentiable - categorically
- The convergence approach to exponentiable maps.
- The Spectral Theory of Distributive Continuous Lattices
- Preservation of topological properties under exponentiation
- Fibrewise smash product and fibrewise mapping spaces
- A characterization of exponentiable maps in \({\mathcal P}r{\mathcal T}op\)
- The convergence approach to exponentiable maps.
- An elementary approach to exponentiable maps
- Fibrewise injectivity and Kock-Zöberlein monads
- On the openness of functors of \(k\)-nonexpanding and weakly additive functionals
- Open maps, colimits, and a convenient category of fibre spaces
- Exponentiability of perfect maps: Four approaches
- Exponentiable morphisms of domains
- THE EXPONENTIABLE MORPHISMS IN KELLEY ARE THE OPEN MAPS
- Fibrations between mapping spaces
- The exponential objects in TOP (a classical proof)
- scientific article; zbMATH DE number 1417726 (Why is no real title available?)
- An elementary approach to exponential spaces
- Kan extendable subcategories and fibrewise topology
- Topological Lax comma categories
- Lexicographic sums and fibre-faithful maps
This page was built for publication: Exponentiability for maps means fibrewise core-compactness.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1420640)
