Exponentiable streams and prestreams (Q2014744)

The paper extends the construction of cartesian closed categories of topological spaces with certain additional properties of~\textit{M. Escardó} et al. [Topology Appl. 143, No. 1--3, 105--145 (2004; Zbl 1066.54028)] to an arbitrary topological construct (in the sense of~\textit{J. Adámek} et al. [Repr. Theory Appl. Categ. 2006, No. 17, 1--507 (2006; Zbl 1113.18001)]). This extension helps to obtain cartesian closed categories of streams of~[\textit{E.~Haucourt}, ``Streams, d-spaces and their fundamental categories'', Electronic Notes in Theoretical Computer Science 283, 111--15 (2012)] and \textit{S. Krishnan} [Appl. Categ. Struct. 17, No. 5, 445--466 (2009; Zbl 1184.54030)], which are certain preordered topological spaces. Given a concrete category \((\mathbf{C},|-|)\) over \(\mathbf{D}\), and a class \(\mathcal{C}\) of \(\mathbf{C}\)-objects, one of the main constructions of the paper is the category \(\mathbf{Map}_{|-|,\mathcal{C}}\) defined as follows (Definition~1 on page~519): the objects are those of \(\mathbf{C}\), and the morphisms are \(\mathbf{D}\)-morphisms \(g:|X|\rightarrow|Y|\) such that for every \(\mathbf{C}\)-morphism \(k:C\rightarrow X\) with domain in \(\mathcal{C}\), the \(\mathbf{D}\)-morphism \(g\circ|k|\) lifts to the category \(\mathbf{C}\). For example, if \(\mathbf{C}\) is the category \(\mathbf{Top}\) of topological spaces, and \(\mathcal{C}\) is the class of compact Hausdorff spaces, then \(\mathbf{Top}_{\mathcal{C}}\) is the category of compactly generated spaces. If \(\mathbf{C}\) has finite products, then a class \(\mathcal{C}\) of objects of \(\mathbf{C}\) is \textit{strongly productive} provided that every object of \(\mathcal{C}\) is exponentiable in \(\mathbf{C}\), and products of pairs of elements of \(\mathcal{C}\) are in \(\mathcal{C}\) (Definition~2 on page~521). In particular, if \((\mathbf{C},|-|)\) is a well-fibred topological construct, and \(\mathcal{C}\) is strongly productive, then the category \(\mathbf{Map}_{|-|,\mathcal{C}}\) is cartesian closed (Theorem~1 on page~521, in which the author describes explicitly the respective power objects and evaluation morphisms). Moreover, in Proposition~1 on page~524, the author shows that for a topological category \(\mathbf{C}\), \(\mathbf{Map}_{|-|,\mathcal{C}}\) is equivalent to the full subcategory of \(\mathbf{C}\) of the so-called \textit{\(\mathcal{C}\)-generated objects}, which is coreflective in \(\mathbf{C}\) (Lemma~8 on page~525). The author then applies these results (and also some additional ones, like, e.g., an analogue of Theorem~1 for a \textit{productive} class \(\mathcal{C}\) in the form of Theorem~3 on page~528) to the topological constructs \(\mathbf{Prestr}\) and \(\mathbf{Str}\) of (pre)streams. The paper is well written, conveniently contains all its necessary preliminaries (starting from the theory of topological categories), and will be of interest to all the researchers working in the field of categorical topology.