Preenveloping Classes of Acts
Preenvelopes of acts over a monoid are defined by analogy with Enochs' definition of preenvelopes of modules. Provided that it is closed for pure subacts, a class of acts is shown to be preenveloping precisely when it is closed under direct products. Examples of such classes include absolutely pure, weakly f-injective and weakly p-injective acts.