Notions of enriched purity
Category Theory
2024-12-24 v4
Abstract
We introduce enriched notions of purity depending on the left class of a factorization system on the base 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 -injectivity classes of locally presentable -categories in terms of closure under a class of limits, -filtered colimits, and -pure subobjects.
Cite
@article{arxiv.2303.11957,
title = {Notions of enriched purity},
author = {Jiří Rosický and Giacomo Tendas},
journal= {arXiv preprint arXiv:2303.11957},
year = {2024}
}
Comments
Final journal version