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 p. Extension
pith:CD6H26KB Add to your LaTeX paper What is a Pith Number?
\usepackage{pith}
\pithnumber{CD6H26KB}

Prints a linked pith:CD6H26KB badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

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.