Representations of presheaves of semiuniformisable spaces, and representation of a presheaf by the presheaf of all continuous sections in its covering-space
The ring of all real-valued measurable functions, carrying the pointwise convergence, is a sequential ring completion of the subring of all continuous functions and, similarly, the ring of all Borel measurable subsets of is a sequential ring completion of the subring of all finite unions of half-open intervals; the two completions are not categorical. We study -rings of maps and develop a completion theory covering the two examples. In particular, the -fields of sets form an epireflective...