Perfect maps are exponentiable - categorically
From MaRDI portal
The authors provide a purely categorical and moreover choice-free proof of the fact that pullbacks of quotient maps along perfect maps are quotient maps. As applications they obtain the known result that perfect maps are exponentiable in the category \({\mathcal T}op\) of topological spaces, and related new results for the categories \({\mathcal P}os\) of partially ordered sets, \({\mathcal P}r{\mathcal T}op\) of pretopological spaces, and \({\mathcal T}op^2\) of continuous maps.
Recommendations
- Exponentiability of perfect maps: Four approaches
- Exponentiable monomorphisms in categories of domains
- Perfect categories and trivial extensions
- scientific article; zbMATH DE number 5646016
- scientific article; zbMATH DE number 1263765
- Exponentiability via double categories
- Mapping stacks and categorical notions of properness
- Perfect maps in compact (countably compact) spaces
- scientific article; zbMATH DE number 3921484
- scientific article; zbMATH DE number 177183
Cited in
(13)- A characterization of exponentiable maps in \({\mathcal P}r{\mathcal T}op\)
- Exponentiability for maps means fibrewise core-compactness.
- The convergence approach to exponentiable maps.
- Regularity of the category of Kelley spaces
- On exponentiability of étale algebraic homomorphisms
- Linking the closure and orthogonality properties of perfect morphisms in a category
- The category \({\mathcal {MAP}}\)
- Partial topological products in \({\mathcal {MAP}}\)
- Exponentiability of perfect maps: Four approaches
- Exponentiable morphisms of domains
- scientific article; zbMATH DE number 19488 (Why is no real title available?)
- Lax pullback complements and pullbacks of spans
- Topological Lax comma categories
This page was built for publication: Perfect maps are exponentiable - categorically
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2732026)
