Topological improvements of categories of structured sets (Q1095441)

A category \({\mathcal A}\) with a forgetful functor \(U: {\mathcal A}\to Set\) is called a construct if every constant map between \({\mathcal A}\)-objects is an \({\mathcal A}\)-morphism. Examples include Top, Unif and Prox. These examples are also topological, i.e., they have sufficient initial and final objects. Unfortunately, many topologists and analysts have found that being topological is not enough; that more ``convenience properties'' are needed for a satisfactory construct. Two of these properties are ``Cartesian closedness'' and ``heredity''. The author discusses how one might embed constructs into various convenient ``hulls'' (``completions'' in some sense). Many examples are given, and constructions described. Foundational problems are also briefly discussed, and there are many references to the current literature.