 Frame coreflection of a preframe monoid

For a commutative monoid object $(M,\ast ,e)$ in preframes, the indicated subset is a frame. Its bottom is $e$, its binary join is $\ast$, and its directed joins and finite meets are inherited. Every homomorphism from a frame regarded as a join monoid factors uniquely through this subset. This gives a coreflective subcategory.