Approximate injectivity
| Authors | |
|---|---|
| Year of publication | 2018 |
| Type | Article in Periodical |
| Magazine / Source | Applied Categorical Structures |
| MU Faculty or unit | |
| Citation | |
| Web | http://dx.doi.org/10.1007/s10485-017-9510-2 |
| Doi | http://dx.doi.org/10.1007/s10485-017-9510-2 |
| Keywords | enriched category; locally presentable category; pure morphism; injective object; approximate injectivity class; Urysohn space; Gurarii space |
| Description | In a locally $\lambda$-presentable category, with $\lambda$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $\lambda$-presentable, are known to be characterized by their closure under products, $\lambda$-directed colimits and $\lambda$-pure subobjects. Replacing the strict commutativity of diagrams by ``commutativity up to $\eps$", this paper provides an ``approximate version" of this characterization for categories enriched over metric spaces. It entails a detailed discussion of the needed $\eps$-generalizations of the notion of $\lambda$-purity. The categorical theory is being applied to the locally $\aleph_1$-presentable category of Banach spaces and their linear operators of norm at most 1, culminating in a largely categorical proof for the existence of the so-called Gurarii Banach space. |
| Related projects: |