Exponentiable Streams and Prestreams

  title={Exponentiable Streams and Prestreams},
  author={Jean Goubault-Larrecq},
  journal={Applied Categorical Structures},
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