Cofibrant generation of pure monomorphisms

From MaRDI portal



Abstract: We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any category of R-modules.


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.











This page was built for publication: Cofibrant generation of pure monomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193244)