#### Title

The H-Closed Monoreflections, Implicit Operations, and Countable Composition, in Archimedean Lattice-Ordered Groups with Weak Unit

#### Document Type

Article

#### Publication Date

10-1-2016

#### Abstract

In the category of the title, called W, we completely describe the monoreflections R which are H-closed (closed under homomorphic image) by means of epimorphic extensions S of the free object on ω generators, F(ω), within the Baire functions on ℝω, B(ℝω) ; label the inclusion eS: F(ω) → S. Then (a) inj eS (the class of objects injective for eS) is such an R, with eS a reflection map iff S is closed under countable composition with itself (called ccc), (b) each such R is inj eS for a unique S with ccc, and (c) if S has ccc, then A∈inj eS iff A is closed under countable composition with S. We think of (c) as expressing: A is closed under the implicit operations of W represented by S (and these are of at most countable arity). In particular, the family of H-closed monoreflections is a set, whereas the family of all monoreflections is consistently a proper class. There is a categorical framework to the proofs, valid in any sufficiently complete category with free objects and epicomplete monoreflection β which is H-closed and of bounded arity; in W the β is of countable arity, and βF(ω) = B(ℝω). The paper continues our earlier work along similar lines.

#### Publication Source (Journal or Book title)

Applied Categorical Structures

#### First Page

605

#### Last Page

617

#### Recommended Citation

Hager, A., & Madden, J.
(2016). The H-Closed Monoreflections, Implicit Operations, and Countable Composition, in Archimedean Lattice-Ordered Groups with Weak Unit.* Applied Categorical Structures**, 24* (5), 605-617.
https://doi.org/10.1007/s10485-016-9449-8