Open maps, colimits, and a convenient category of fibre spaces (Q2266116): Difference between revisions

The mathematical usefulness of complete and cocomplete Cartesian closed categories is well established. Several such subcategories of the category of topological spaces and continuous functions have received extensive study, however when dealing with categories of spaces over a fixed base space, the situation is less tractable. Insistence upon completeness and cocompleteness may rule out the existence of certain exponents or vice versa. The paper under review investigates this problem with the key idea being the need for considering only open mappings. [The connection between openness and exponentiation has also been studied by \textit{P. T. Johnstone}, Contemp. Math. 30, 84-116 (1984; Zbl 0537.18001).] The author obtains the following results. Let \({\mathcal U}\) denote the category of compactly generated spaces and let \(B\in {\mathcal U}\). If \(Y\to^{q}B\) is an open map in \({\mathcal U}\), then pulling back along q preserves all colimits. Furthermore, if \({\mathcal O}(B)\) denotes the subcategory of \({\mathcal U}/B\) consisting of open maps, then \({\mathcal O}(B)\) is a complete and cocomplete Cartesian closed category. The author then proceeds to consider this construction for related categories of spaces as well as discussing preservation of open mappings by various topological constructions.