Essential completeness of Archimedean -groups with weak order unit
Archimedean \(\ell\)-groupessential completionessential monomorphismessentially complete objectrealcomplete framestrongly monocoreflective subcategory
Frames, locales (06D22) Ordered groups (06F15) Injectives, projectives (08B30) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Real-valued functions in general topology (54C30) Realcompactness and realcompactification (54D60)
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).
- scientific article; zbMATH DE number 3863262
- Weak units in epicompletions of Archimedean lattice-ordered groups
- Order completions of Archimedean Riesz spaces and -groups
- Injectivity of Archimedean \(\ell \)-groups with order unit
- Relative uniform completeness and order-convex representations of Archimedean -groups and f-rings
- Essential adjunction of a strong unit to an Archimedean lattice-ordered group
- On a relative uniform completion of an archimedean lattice ordered group
- Functorial approximation to the lateral completion in archimedean lattice-ordered groups with weak unit
- The projectable hull of an Archimedean -group with weak unit
- Singularities of a construction of the o-completion of an Archimedean \ell-group with strong unit
- \(f\)-rings and the Stone-Weierstrass theorem
- C- and C*-quotients in pointfree topology
- Completeness properties of function rings in pointfree topology.
- Essential completeness in categories of completely regular frames.
- scientific article; zbMATH DE number 4106827 (Why is no real title available?)
- scientific article; zbMATH DE number 3742211 (Why is no real title available?)
- scientific article; zbMATH DE number 2019820 (Why is no real title available?)
- scientific article; zbMATH DE number 3198867 (Why is no real title available?)
- On the function ring functor in pointfree topology
- Realcompactness and the cozero part of a frame
- Singular Archimedean lattice-ordered groups
- The Lateral Completion of a Lattice-Ordered Group
- Unique Representation of Archimedean Lattice Groups and Normal Archimedean Lattice Rings
- Maximal essential extensions in the context of frames
- Pointfree pointwise suprema in unital Archimedean \(\ell\)-groups.
- Functorial approximation to the lateral completion in archimedean lattice-ordered groups with weak unit
- Bounded equivalence of hull classes in Archimedean lattice-ordered groups with unit.
- On minimum proper essential extensions in a category
- The category of Archimedean \(\ell\)-groups with strong unit, and some of its epireflective subcategories
- From \(\lambda \)-hollow frames to \(\lambda \)-repletions in \(\mathbf{W}\). II: \(\lambda\)-repletions in \(\mathbf{W}\)
- Essential adjunction of a strong unit to an Archimedean lattice-ordered group
- Injectivity of Archimedean \(\ell \)-groups with order unit
This page was built for publication: Essential completeness of Archimedean \(\ell\)-groups with weak order unit
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376548)
