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...

In the context of semi-abelian categories, several additional conditions have been considered in order to obtain a closer group-like behavior. Among them are locally algebraic cartesian closedness and algebraic coherence. The recent notion of S-protomodular categories, whose main examples are the category of monoids and, more generally, categories of monoids with operations and Jónsson-Tarski v...

we prove that the class of profinite groups $g$ that have a factorization $g=ab$‎ ‎with $a$ and $b$ abelian closed subgroups‎, ‎is closed under taking inverse limits‎ ‎of surjective inverse systems‎. ‎this is a generalization of a recent result by k. h. hofmann and f. g. russo‎. ‎as an application we reprove their generalization of iwasawa's structure theorem for‎ ‎quasihamiltonian pro-$p$...

It was already known that the category of T 0 topological spaces is not itself cartesian closed, but can be embedded into the cartesian closed categories FIL of lter spaces and EQU of equilogical spaces where the latter embeds into the cartesian closed category ASSM of assemblies over algebraic lattices. Here, we rst clarify the notion of lter space|there are at least three versions FIL a FIL b...

A conjecture of Smyth is discussed which says that if D and [D → D] are effectively algebraic directed-complete partial orders with least element (cpo’s), then D is an effectively strongly algebraic cpo, where it was not made precise what is meant by an effectively algebraic and an effectively strongly algebraic cpo. Notions of an effectively strongly algebraic cpo and an effective SFP domain a...

We prove that every finitary polynomial endofunctor of a category C has a final coalgebra if C is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of coalgebras for such an endofunctor has all finite limits.