A functor$F : C \to D$ satisfies the solution set condition if for every object$Y$ of $D$ there exists a small set$I$, an $I$-indexed family $(X_i)_{i \in I}$ of objects of $C$ and an $I$-indexed family $(f_i\colon Y \to F(X_i))_{i \in I}$ of morphisms in $D$ such that each morphism $h\colon Y \to F(X)$ in $D$ can be factored, for some index $i$ and some morphism $t\colon X_i \to X$ in $C$, as

$F(t) \circ f_i
\colon
Y \stackrel{f_i}{\to}
F(X_i)
\stackrel{F(t)}{\to}
F(X).$

This is a smallness condition in that the family is required to be indexed by a small set.

A restatement of this condition is that the comma categories $(d \downarrow F)$ all admit weakly initial families of objects.

Here is the connection with the adjoint functor theorem: when small products exist in those comma categories, this is equivalent to saying that they all admit weakly initial objects. When small equalizers exist in those comma categories also, this is equivalent to saying that they all admit initial objects, and this is equivalent to $F$ being a right adjoint.

If $f\colon X_1 \to X_2$ is a short linear map and $\phi\colon B \to X_1$ is a bounded linear map, then $BdLin(B,f)(\phi) \coloneqq f \circ \phi\colon B \to X_2$ is a bounded linear map with norm ${\|BdLin(B,f)(\phi)\|} \leq {\|f\|} {\|\phi\|}$, which proves that ${\|BdLin(B,f)\|} \leq {\|f\|} \leq 1$, so that $BdLin(B,f)$ is also a short map, as it must be for $F$ to be a functor. (That $F$ is linear and preserves identities and composition is trivial.)

The solution set condition now states: For every Banach space $Y$ there exists a small set $I$, an $I$-indexed family $(X_i)_{i \in I}$ of Banach spaces and an $I$-indexed family $(f_i\colon Y \to BdLin(B,X_i))_{i \in I}$ of short linear maps such that each short linear map $h\colon Y \to BdLin(B,X)$ can be factored, for some index $i$ and some short linear map $t\colon X_i \to X$, as $h = BdLin(B,t) \circ f_i$.

(to be completed)

Revised on August 23, 2016 16:20:09
by Toby Bartels
(64.89.52.42)