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

## TL;DR

This paper provides a concise, functorial proof demonstrating the equivalence of various purity characterisations in finitely accessible additive categories, simplifying understanding across different algebraic contexts.

## Contribution

It introduces an efficient functorial approach to establish equivalences of purity characterisations, unifying previous complex proofs across various categories.

## Key findings

- Unified proof of purity characterisations
- Simplified understanding of fp-injective and injective objects
- Applicability to module categories and other additive categories

## 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 $\mathcal C$. The complications of the proofs for specific choices of $\mathcal C$ are contained in the description of fp-injective and injective objects in $(\operatorname{fp}\mathcal C,\mathrm{Ab})$, the category of additive functors $\mathcal C\to\mathrm{Ab}$. For example, the equivalence of many characterisations of purity in a module category $\mathcal A\mathrm{-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 $(\mathcal A\mathrm{-mod},\mathrm{Ab})$.