Approximate injectivity (Q1656718): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q123097497, #quickstatements; #temporary_batch_1711234560214 |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 1608.05524 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3146268 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Banach spaces of universal disposition / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheafifiable homotopy model categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4314472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FRAÏSSÉ LIMITS OF C*-ALGEBRAS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Remarks on Gurarii spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Urysohn universal space, its development and Hausdorff's approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3324132 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Katětov functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Game-theoretic characterization of the Gurarii space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak factorizations, fractions and homotopies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: METRIC ABSTRACT ELEMENTARY CLASSES AS ACCESSIBLE CATEGORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fraïssé limits in functional analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2783423 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Accessible categories, saturation and categoricity / rank | |||
Normal rank |
Latest revision as of 08:14, 16 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Approximate injectivity |
scientific article |
Statements
Approximate injectivity (English)
0 references
10 August 2018
0 references
The category of metric spaces and nonexpansive maps can be made complete, cocomplete, and symmetric monoidal closed, by enlarging it with metrics that allow distance infinity between two points but otherwise obey the same laws. Consider a category enriched in this category of generalized metric spaces. It now makes sense to talk about when two morphisms \(A \to B\) are \(\varepsilon\) close to each other, rather than simply equal. This allows one to ask approximative questions. For example, the authors develop a theory of colimits that are (strictly) universal among cocones that commute up to \(\varepsilon\). Similarly, one can speak about \(\varepsilon\)-monomorphisms, and \(\varepsilon\)-pure morphisms. But their main goal is to develop an approximative version of the theory of injectivity. An object \(K\) is \(\varepsilon\)-injective for a morphism \(f \colon A \to B\) when every \(g \colon A \to K\) allows \(h \colon B \to K\) such that \(h \circ f\) is \(\varepsilon\)-close to \(g\). For a class of morphisms \(F\), consider the class of objects \(\varepsilon\)-injective to every \(f \in F\). Such classes of objects are called \(\varepsilon\)-injectivity classes. The main result characterizes \(\varepsilon\)-injectivity classes as those classes of morphisms that are closed under products, directed colimits, and \(\varepsilon\)-pure morphisms. This is later upgraded to a version that quantifies over all \(\varepsilon>0\); these approximate injectivity classes turn out to coincide with ordinary injectivity classes. (All of this requires appropriate background assumptions, namely that the category is enriched in generalized metric spaces, its underlying ordinary category is locally \(\lambda\)-presentable for an uncountable regular cardinal \(\lambda\), and any \(\lambda\)-presentable object is also \(\lambda\)-presentable in the underlying ordinary category.) The main example is the category of Banach spaces and nonexpansive linear maps. The last section applies the general theory here to show that there exists a separable \(\aleph_0\)-approximately-saturated Banach space, which is also known as the Gurarii space.
0 references
\textbf{met}-enriched category
0 references
locally \(\lambda \)-presentable
0 references
\(\varepsilon\)-(co)limit
0 references
\(\lambda \)-\(\varepsilon\)-pure morphism
0 references
\(\varepsilon\)-injective object
0 references
approximate \(\lambda \)-injectivity class
0 references
Urysohn space
0 references
Gurarii space
0 references