Cofibrant generation of pure monomorphisms (Q2193244)

Working within a locally finitely presentable additive category \(\mathcal K\), pure injective modules (those injective with respect to pure monomorphisms) form a model-theoretically important class of modules between cotorsion modules (those injective with respect to flat monomorphisms) and injective modules (those injective with respect to all monomorphisms). The latter two classes of modules form accessible categories since the classes of flat monomorphisms and that of all monomorphisms are cofibrantly generated. In this paper the authors show that the class of pure monomorphisms in \(\mathcal K\) is cofibrantly generated, thus generalizing a result of [\textit{J. Šaroch} and \textit{J. Trlifaj}, Rend. Semin. Mat. Univ. Padova 144, 217--238 (2020; Zbl 1477.16003)] in the module case. As a consequence the class of pure injective modules in such categories forms an accessible category. If \(\mathcal K\) is abelian then the usual proof that \(\mathcal K\) has enough injectives uses effective unions of subobjects, however if \(\mathcal K\) is only additive then such effective unions need not exist, and hence \(\mathcal K\) may fail to have enough (regular) injectives. Thus to show that \(\mathcal K\) has enough pure injectives the authors use an embedding of \(\mathcal K\) into a locally finitely presentable coexact category that sends pure monomorphisms in the former to regular monomorphisms in the latter.