Epicomplete archimedean l-groups via a localic Yosida theorem (Q2639080)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Epicomplete archimedean l-groups via a localic Yosida theorem |
scientific article |
Statements
Epicomplete archimedean l-groups via a localic Yosida theorem (English)
0 references
1990
0 references
An object X of a category is called epicomplete if every bimorphism with domain X is invertible. The key result in this paper is that in archimedean \(\ell\)-groups with weak order unit the epicomplete ones are monoreflective. The purpose of the paper is more broadly to describe the epicomplete objects and to use this as an illustration of the value of the authors' reformulation of the Yosida representation for weak-unital archimedean \(\ell\)-groups. The point is that the somewhat awkward extended real-valued functions finite almost everywhere, of the classical Yosida theorem [see, e.g., \textit{A. Hager} and \textit{L. Robertson}, Symp. Math. 21, 411-431 (1977; Zbl 0382.06018)], become ordinary maps to the real line, whose domain is in general a `pointless space' or locale. Among the further results, the authors observe that the epicompletion is not always an essential extension and obtain some conditions for its essentiality.
0 references
epicompleteness
0 references
archimedean \(\ell \)-groups
0 references
Yosida representation
0 references
locale
0 references
epicompletion
0 references