pith. sign in

arxiv: 1811.03993 · v2 · pith:CD6H26KBnew · submitted 2018-11-09 · 🧮 math.CT

Cartesian closed exact completions in topology

classification 🧮 math.CT
keywords spacescategoriesmathbbcartesiancategoryexactmathsfmetric
0
0 comments X
read the original 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 $\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 $(\mathbb{T},V)$-categories and show that, under suitable conditions, every $(\mathbb{T},V)$-injective category is exponentiable in $(\mathbb{T},V)\text{-}\mathsf{Cat}$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.