The category of the title is called $mathcal{W}$. This has all free objects $F(I)$ ($I$ a set). For an object class $mathcal{A}$, $Hmathcal{A}$ consists of all homomorphic images of $mathcal{A}$-objects. This note continues the study of the $H$-closed monoreflections $(mathcal{R}, r)$ (meaning $Hmathcal{R} = mathcal{R}$), about which we show ({em inter alia}): $A in mathcal{A}$ if and  only if...

We prove that in the category of achimedean lattice-ordered groups with weak unit there is no homomorphism-closed monoreflection strictly between the strongest essential monoreflection (the so-called “closure under countable composition”) and the strongest monoreflection (the epicompletion). It follows that in the category of regular σframes, the only non-trivial monoreflective subcategory that...

In previous work it was shown that there is an epireflection ψ of the category of all compact normal, joinfit frames, with skeletal maps, in the full subcategory of frames which are also strongly projectable, and that ψ restricts to the epicompletion ε, which is the absolute reflection on compact regular frames. In the first part of this paper it is shown that ψ is a monoreflection and that the...