Notions of enriched purity
The concept of purity originated in the theory of abelian groups [\textit{H. Prüfer}, Math. Z. 17, 35--61 (1923; JFM 49.0084.03)], being well established in both theory of modules [\textit{M. Prest}, Definable additive categories: purity and model theory. Providence, RI: American Mathematical Society (AMS) (2011; Zbl 1229.03034)] and model theory [\textit{P. Rothmaler}, Algebra Log. Appl. 9, 445--469 (1997; Zbl 0931.03055)]. The monograph [\textit{J. Adámek} and \textit{J. Rosický}, Locally presentable and accessible categories. Cambridge: Cambridge University Press (1994; Zbl 0795.18007)] made purity a key concept of the theory of accessible categories.\N\NThe first attempt to develop enriched purity was done for metric enriched categories [\textit{J. Rosický} and \textit{W. Tholen}, Appl. Categ. Struct. 26, No. 4, 699--716 (2018; Zbl 1395.18007)]. This paper aims to introduce enriched purity over a general base \(\mathcal{V}\), establishing that most of the basic properties transfer to the enriched setting, which makes it possible to characterize enriched injectivity classes. Based on [\textit{S. Lack} and \textit{J. Rosický}, J. Pure Appl. Algebra 216, No. 8--9, 1807--1822 (2012; Zbl 1268.18004)], this enriched purity depends on a chosen class \(\mathcal{E}\) of morphisms in \(\mathcal{V}\), which, in addition, arises as the left class of a factorization system. In metric-enriched categories these are the dense morphisms.\N\NThe main result (Theorem 5.5) is the characterization of \(\left( \lambda,\mathcal{E}\right) \)-injectivity classes, based on the assumption that the class \(\mathcal{E}\) itself is a (special) injectivity class in the ordinary category of arrows \(\mathcal{V}_{0}^{\rightarrow}\). The authors discuss applications of Theorem 5.5 in the setting of categories enriched over quantale-valued metric spaces (\S 6), in that of categories enriched over \(\omega\)-complete poses (\S 7) and in that of categories enriched over symmetric monoidal quasivarieties (\S 8).
- V-Cat is locally presentable or locally bounded if V is so
- Approximate injectivity
- Approximate injectivity and smallness in metric-enriched categories
- Are Banach spaces monadic?
- Categories of continuous functors. I
- Category seminar. Proceedings Sydney category theory seminar 1972/1973
- Cauchy completeness for DG-categories
- Definable additive categories: purity and model theory
- Discrete equational theories
- Enriched factorization systems
- Enriched purity and presentability in Banach spaces
- Enriched regular theories
- Enriched weakness
- Flat vs. filtered colimits in the enriched context
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1329684 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- More on injectivity in locally presentable categories
- Quantales and continuity spaces
- The rise and fall of \(V\)-functors
- The topology of a quantale valued metric space
- Untersuchungen über die Zerlegbarkeit der abzählbaren primären Abelschen Gruppen.
- Virtual concepts in the theory of accessible categories
- Which Categories Are Varieties? ((Co)algebraic pearls)
This page was built for publication: Notions of enriched purity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034260)
