A note on effectively projective objects
An object \(P\) in the category \(\mathcal K\) is said to be an effective projective if \(\mathcal K(P,-)\) preserves coequalizers of reflexive graphs. The following conditions are equivalent for a category \(\mathcal K\): (i) \(\mathcal K\) is equivalent to a (finitary, multi-sorted) variety; (ii) \(\mathcal K\) has finite limits, there is a strong generating set \(\mathcal P\) consisting of finitely presentable objects, \(\mathcal K\) has all sums of objects of \(\mathcal P\), effective equivalence relations and the objects in \(\mathcal P\) are regular projectives; (iii) \(\mathcal K\) has finite limits, there is a strong generating set \(\mathcal P\) consisting of finitely presentable objects, \(\mathcal K\) has all sums of objects of \(\mathcal P\), coequalizers of equivalence relations and the objects in \(\mathcal P\) are effective projective (theorem 3). If \(\mathcal K\) is a locally finitely presentable category with \(\mathcal C\) the full subcategory of finitely presentables, then \(\mathcal K\) is a variety if and only if \(\mathcal C\) has enough effective projectives (theorem 4).
- A simple characterization of theories of varieties
- On quasivarieties and varieties as categories
- Varieties of ordered algebras as categories
- scientific article; zbMATH DE number 2154589 (Why is no real title available?)
- scientific article; zbMATH DE number 2114693 (Why is no real title available?)
- Categories which are varieties of classical or ordered algebras
- A note on Seall's projective substitution
This page was built for publication: A note on effectively projective objects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5931465)
