Technical reports

LIMINF convergence in Ω-categories

Kim Ritter Wagner

June 1995, 28 pages

DOI: 10.48456/tr-371

Abstract

The aim of this article is twofold. From a mathematical perspective we present a notion of convergence which is suitably general such as to include the convergence of chains to their least upper bounds in preordered sets, and the convergence of Cauchy sequences to their metric limits in metric spaces. Rather than presenting this theory from a purely mathematical perspective however, we will use it to introduce a simple-minded domain theory based on a generic notion of approximation. Although this is the use which motivated the development of these concepts, it is hoped that this is not the only one.

Full text

PDF (1.9 MB)

BibTeX record

@TechReport{UCAM-CL-TR-371,
  author =	 {Wagner, Kim Ritter},
  title = 	 {{LIMINF convergence in $\Omega$-categories}},
  year = 	 1995,
  month = 	 jun,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-371.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-371},
  number = 	 {UCAM-CL-TR-371}
}