Abstract
We introduce enriched notions of purity depending on the left class E of a factorization system on the base V of enrichment. Ordinary purity is given by the class of surjective mappings in the category of sets. Under specific assumptions, covering enrichment over quantale-valued metric spaces, ω-complete posets, and quasivarieties, we characterize the (λ, E)-injectivity classes of locally presentable V-categories in terms of closure under a class of limits, λ-filtered colimits, and (λ,E)-pure subobjects.
| Original language | English |
|---|---|
| Pages (from-to) | 2058-2104 |
| Number of pages | 48 |
| Journal | Theory and Applications of Categories |
| Volume | 41 |
| Issue number | 58 |
| Publication status | Published - 22 Dec 2024 |
Keywords
- enriched accessible categories
- enriched purity
- enriched injectivity classes