Abstract
W denotes the category of archimedean ℓ-groups with designated weak unit and ℓ-homomorphisms that preserve the weak unit, and B is the bounded coreflection in W. Comp denotes the category of compact Hausdorff spaces with continuous maps, and Y : W → Comp is the familiar Yosida functor. The enormous collection hcW of hull classes in W and the somewhat less enormous collection ccComp of covering classes in Comp are clearly related “via” Y, but rather unclearly in the details. In an earlier paper we investigated the relationship between hcW and ccComp and continue to do so here, now focusing on the role of B. Among other things, (i) we define B-saturated hull classes and the sub-species Y-saturated and type μ, (ii) show that for a hull class H of the latter two types, but not always the first, Y[H] is a covering class, and (iii) describe the various ways the three types relate. This paper is the second installment in our ongoing investigation of the complex taxonomy of hull classes.
| Original language | English |
|---|---|
| Pages (from-to) | 709-723 |
| Number of pages | 15 |
| Journal | Applied Categorical Structures |
| Volume | 23 |
| Issue number | 5 |
| DOIs | |
| State | Published - Oct 10 2015 |
Bibliographical note
Publisher Copyright:© 2014, Springer Science+Business Media Dordrecht.
ASJC Scopus Subject Areas
- Theoretical Computer Science
- General Computer Science
- Algebra and Number Theory
Keywords
- B-saturated
- Bounded coreflection
- Compact space
- Cover
- Covering class
- Essential extension
- Hull class
- Lattice-ordered group
- Weak unit
- Yosida representation