Characterisations of purity in a locally finitely presented additive category: A short functorial proof

arXiv1702.07184MaRDI QIDQ6283537FDOQ6283537

Authors: Samuel Dean 

Publication date: 23 February 2017

Abstract: In this expository article, we will give an efficient functorial proof of the equivalence of various characterisations of purity in a finitely accessible additive category $mathcalC$. The complications of the proofs for specific choices of $mathcalC$ are contained in the description of fp-injective and injective objects in $(operatornamefpmathcalC,mathrmAb)$, the category of additive functors $mathcalComathrmAb$. For example, the equivalence of many characterisations of purity in a module category $mathcalAmathrm-Mod$ is a simple corollary of what we will prove here, since we know which objects are fp-injective, and which objects are injective, in $(mathcalAmathrm-mod,mathrmAb)$.

Mathematics Subject Classification ID

Preadditive, additive categories (18E05)

This page was built for publication: Characterisations of purity in a locally finitely presented additive category: A short functorial proof

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