Cartesian closed hull of uniform spaces
The main goal of the present paper is to unify two commonly used models of directed spaces: d-spaces and streams. To achieve this, we provide certain "goodness" conditions for d-spaces and streams. Then we prove that the categories of good d-spaces and good streams are isomorphic. Next, we prove that the category of good d-spaces is complete, cocomplete, and cartesian closed (assuming we restrict to compactly generated weak Hausdorff spaces). The category of good d-spaces is large enough to contain...
The purpose of this paper is to give a necessary and sufficient condition to define a category measure on a Baire topological space. In the last section we give some examples of spaces in these conditions.