Convergence and quantale-enriched categories
Category Theory
2017-05-25 v1
Abstract
Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these -categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) codirected completeness of the underlying quantale enriched category.
Cite
@article{arxiv.1705.08671,
title = {Convergence and quantale-enriched categories},
author = {Dirk Hofmann and Carla Reis},
journal= {arXiv preprint arXiv:1705.08671},
year = {2017}
}