English

Lawvere completeness in Topology

Category Theory 2007-05-23 v1 General Topology

Abstract

It is known since 1973 that Lawvere's notion of (Cauchy-)complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this paper we introduce the corresponding notion of Lawvere completeness for (T,V)(\mathbb{T},\mathsf{V})-categories and show that it has an interesting meaning for topological spaces and quasi-uniform spaces: for the former ones means weak sobriety while for the latter means Cauchy completeness. Further, we show that V\mathsf{V} has a canonical (T,V)(\mathbb{T},\mathsf{V})-category structure which plays a key role: it is Lawvere-complete under reasonable conditions on the setting; permits us to define a Yoneda embedding in the realm of (T,V)(\mathbb{T},\mathsf{V})-categories.

Keywords

Cite

@article{arxiv.0704.3976,
  title  = {Lawvere completeness in Topology},
  author = {Maria Manuel Clementino and Dirk Hofmann},
  journal= {arXiv preprint arXiv:0704.3976},
  year   = {2007}
}
R2 v1 2026-06-21T08:23:33.756Z