Essential completeness of Archimedean \(\ell\)-groups with weak order unit (Q2376548): Difference between revisions

A monomorphism \(m\) in a category \(\mathcal C\) is called \textit{essential} if \(f\) is monic whenever \(fm\) is monic, and an object \(C\) in \(\mathcal C\) is called \textit{essentially complete} if any essential monomorphism \(C\to B\) is an isomorphism. An \textit{essential completion} of an object is an essential monomorphism from it to an essentially complete object; this is called \textit{unique} if it is unique up to isomorphism. Let \(\mathcal{B}\) be a full and isomorphism-closed coreflective subcategory of a category \(\mathcal C\). The authors call such a subcategory \textit{strongly monocoreflective} if its monomorphisms and the coreflection maps are monic in \(\mathcal C\). The goal of this paper is to study essential completeness in the strongly monocoreflective subcategories \(\mathcal V\) of the familiar category \(\mathcal W\) of Archimedean lattice-ordered groups with weak order unit. It is shown: (1) Under appropriate conditions, the existence of unique essential completions in a subcategory (always considered full and isomorphism-closed) implies the same for the whole category, and vice versa. (2) Any strongly monocoreflective subcategory \(\mathcal V\) of \(\mathcal W\) has unique essential completions. Several such subcategories of \(\mathcal W\) are identified and their essential completions are analysed. Crucial use is made of functors from these categories to categories of frames (specifically, realcomplete frames, compact completely regular frames, 0-dimensional frames complete in their uniformity of countable partitions, and compact 0-dimensional frames). Further, the authors provide: (3) Characterizations of those \(\mathcal V\) which have the property that essential completeness is the same as injectivity. (4) A characterization of essential completeness by simple internal conditions in the specific subcategories \(\mathcal V\) considered in (2).