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

This document is currently not available here.

Share

COinS