Exponentiable Streams and Prestreams

@article{GoubaultLarrecq2014ExponentiableSA,
  title={Exponentiable Streams and Prestreams},
  author={Jean Goubault-Larrecq},
  journal={Applied Categorical Structures},
  year={2014},
  volume={22},
  pages={515-549}
}
Inspired by a construction of Escardó, Lawson, and Simpson, we give a general construction of C-generated objects in a topological construct. When C consists of exponentiable objects, the resulting category is Cartesian-closed. This generalizes the familiar construction of compactly-generated spaces, and we apply this to Krishnan’s categories of streams and… CONTINUE READING