Cartesian closed exact completions in topology
Category Theory
2019-05-02 v2
Abstract
Using generalized enriched categories, in this paper we show that Rosick\'{y}'s proof of cartesian closedness of the exact completion of the category of topological spaces can be extended to a wide range of topological categories over , like metric spaces, approach spaces, ultrametric spaces, probabilistic metric spaces, and bitopological spaces. In order to do so we prove a sufficient criterion for exponentiability of -categories and show that, under suitable conditions, every -injective category is exponentiable in .
Cite
@article{arxiv.1811.03993,
title = {Cartesian closed exact completions in topology},
author = {Maria Manuel Clementino and Dirk Hofmann and Willian Ribeiro},
journal= {arXiv preprint arXiv:1811.03993},
year = {2019}
}