English

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 Set\mathsf{Set}, 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 (T,V)(\mathbb{T},V)-categories and show that, under suitable conditions, every (T,V)(\mathbb{T},V)-injective category is exponentiable in (T,V)-Cat(\mathbb{T},V)\text{-}\mathsf{Cat}.

Keywords

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}
}
R2 v1 2026-06-23T05:10:32.265Z