Approximate injectivity and smallness in metric-enriched categories

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

ADÁMEK Jiří ROSICKÝ Jiří

Year of publication 2022
Type Article in Periodical
Magazine / Source Journal of Pure and Applied Algebra
MU Faculty or unit

Faculty of Science

Citation
Web https://www.sciencedirect.com/science/article/pii/S0022404921003157?via%3Dihub
Doi http://dx.doi.org/10.1016/j.jpaa.2021.106974
Keywords Metric enriched category; Approximate injectivity; Category of Banach spaces; Gurarii space
Description Properties of categories enriched over the category of metric spaces are investigated and applied to a study of well-known constructions of metric and Banach spaces. We prove e.g. that weighted limits and colimits exist in a metric-enriched category iff ordinary limits and colimits exist and ?-(co)equalizers are given by ?-(co)isometries for all ?. An object is called approximately injective w.r.t. a morphism h : A -> A' iff morphisms from A into it are arbitrarily close to those morphisms that factorize through h. We investigate classes of objects specified by their approximate injectivity w.r.t. given morphisms. They are called approximate-injectivity classes. And we also study, conversely, classes of morphisms specified by the property that certain objects are approximately injective w.r.t. them. For every class of morphisms satisfying a mild smallness condition we prove that the corresponding approximate-injectivity class is weakly reflective, and we study the properties of the reflection morphisms. As an application we present a new categorical proof of the essential uniqueness of the Gurarii space.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.