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