What theorem constructs an initial object for this category? (Formerly "Integrability by abstract nonsense") - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T22:54:59Z http://mathoverflow.net/feeds/question/23143 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/23143/what-theorem-constructs-an-initial-object-for-this-category-formerly-integrabi What theorem constructs an initial object for this category? (Formerly "Integrability by abstract nonsense") Steven Gubkin 2010-04-30T22:03:48Z 2011-10-16T12:11:24Z <p>Tom Leinster has a note <a href="http://www.maths.gla.ac.uk/~tl/glasgowpssl/" rel="nofollow">here</a> about how you can realize L^1[0,1] as the initial object of a certain category. You should really read his note because it is only 2.5 pages and is much more charming than what I am going to write below as background, but if you don't want to click on the link here is the idea:</p> <p>We work in the category of Banach spaces with contractive maps, where we are defining $X \oplus Y$ to have the norm $|| (x,y) || = \frac{1}{2}(||x|| + ||y||)$. Consider triples $(X, \xi, u)$ where $X$ is a Banach space, $u \in X$ has norm at most 1, $\xi:X \oplus X \to X$ is a map of Banach spaces with $\xi(u,u) = u$. A morphism of such triples is a map of Banach spaces commuting with all structure in sight. The it turns out that the initial object in this category is $(L^1[0,1], \gamma, 1)$ where $\gamma(f,g)$ smushes $f$ and $g$ by a factor of two horizontally and then puts them side by side. Essentially this is because once you know where the constant function 1 goes, you can determine where any piecewise constant function whose discontinuities are at dyadic rationals goes, and then by density you get a unique map out of $L^1$.</p> <p>Leinster mentions that there are some abstract results which actually construct an initial object for a category like this. I have looked through Barr and Wells, but I do not see what exactly I should be using here. The only general initial object construction I know (The one at the beginning of the adjoint functor theorem chapter of Categories for the Working Mathematician), doesn't seem to apply (maybe it does but I am not seeing it). Does anyone know such a general construction which applies here? How does that construction look when you apply it to this situation? Does it look anything like the usual construction of $L^1[0,1]$?</p> http://mathoverflow.net/questions/23143/what-theorem-constructs-an-initial-object-for-this-category-formerly-integrabi/24458#24458 Answer by Daniel Schäppi for What theorem constructs an initial object for this category? (Formerly "Integrability by abstract nonsense") Daniel Schäppi 2010-05-13T00:23:46Z 2010-05-13T00:23:46Z <p>The category you described can be written as a lax limit of a diagram in the 2-category of categories. The diagram in question consists of accessible categories and accessible functors, so its limit is again accessible by a theorem of Makkai and Paré. It is obvious from the construction that the category has all small limits (they are computed as in the category of Banach spaces and nonexpanding maps), so it is in fact locally presentable. This means that it has all colimits and in particular an initial object.</p> <p>Here are some more details and references. Let $\mathbf{Ban}_1$ be the category of Banach spaces and nonexpanding maps. This category is locally $\aleph_1$-presentable (see e.g. Borceux, Handbook of Categorical algebra, Volume II, 5.2.2.e). Let </p> <p>$F \colon \mathbf{Ban}_1 \rightarrow \mathbf{Ban}_1$</p> <p>be the functor which sends a Banach space $X$ to $\mathbb{R}+X\oplus X$, where + stands for the coproduct. A morphism f of Banach spaces gets sent to $\mathrm{id}_{\mathbb{R}}+f\oplus f$. Let $U \colon \mathbf{Ban}_1 \rightarrow \mathbf{Set}$ be the functor which sends a Banach space to its underlying set. Since $\aleph_1$-filtered colimits are computed as in the category of sets (see e.g. Borceux, Handbook of Categorical algebra, Volume II, 5.2.2.e) we know that the composite UF preserves $\aleph_1$-filtered colimits. By the open mapping theorem it follows that $F$ preserves $\aleph_1$-filtered colimits.</p> <p>By the theorem of Makkai and Paré (see e.g. Adámek, Rosický, Locally Presentable and accessible categories, Theorem 2.77), the inserter $\mathcal{C}$ of $F$ and the identity functor on $\mathbf{Ban}_1$ is again an accessible category. The objects of $\mathcal{C}$ are triples $(X,\xi,u)$ where $\xi\colon X\oplus X \rightarrow X$ and $u\colon \mathbb{R} \rightarrow X$ are nonexpanding (i.e., u corresponds to an element of $X$ of norm less than or equal one). The morphisms are morphisms of Banach spaces which are compatible with $u$ and $\xi$. Thus $\mathcal{C}$ is almost the category we are interested in; the only thing that's missing is the requirement that $\xi(u,u)=u$.</p> <p>Let</p> <p>$G \colon \mathcal{C} \rightarrow \mathbf{Ban_1}$ </p> <p>be the functor which sends every object to $\mathbb{R}$ and every morphism to $\mathrm{id}_{\mathbb{R}}$. This is clearly a functor which preserves $\aleph_1$-filtered colimits. Let</p> <p>$H \colon \mathcal{C} \rightarrow \mathbf{Ban_1}$ </p> <p>be the functor which sends $(X,\xi,u)$ to $X$ and a morphism to itself; this is again a functor which preserves $\aleph_1$-filtered colimits. There are two natural transformations $\alpha,\beta \colon G \Rightarrow H$, whose component at $(X,xi,u)$ is given by $u$ and $\xi(u,u)$ respectively. The <em>equifier</em> of $G$ and $H$ is precisely the category we are looking for, and from our construction we can conclude that it is accessible.</p> <p>The obvious forgetful functor to Banach spaces creates limits, so this category is complete. Thus it is locally presentable, and therefore also cocomplete. In particular, it follows that our category has an initial object.</p> http://mathoverflow.net/questions/23143/what-theorem-constructs-an-initial-object-for-this-category-formerly-integrabi/78262#78262 Answer by Martin Brandenburg for What theorem constructs an initial object for this category? (Formerly "Integrability by abstract nonsense") Martin Brandenburg 2011-10-16T12:11:24Z 2011-10-16T12:11:24Z <p>I hope this answers the question a bit more explicitely as the other one. The general theorem which applies here is the following:</p> <blockquote> <p>Theorem: Let $C$ be a category which as an initial object and colimits of $\omega$-chains. Then for every functor $F : C \to C$ which preserves these colimits, there exists an initial $F$-algebra. Namely, you can take the colimit of $0 \stackrel{i}{\rightarrow} F(0) \stackrel{F(i)}{\rightarrow} F^2(0) \stackrel{F^2(i)}{\rightarrow} \cdots$.</p> </blockquote> <p>Remark the similarity to other fixed point theorems, such as by Banach (for Banach spaces) or Tarski (for CPOs). The proof is easy and straight forward. In our case, we have the category of Banach spaces $B$ and consider the comma category $C=\mathbb{K} / B$. It has products and also colimits of $\omega$-chains (take the completion of the colimit of the underlying normed spaces) and the functor $F : C \to C,~ X \mapsto X \times X$ preserves them. Thus we can apply the Theorem.</p> <p>The sequence $\mathbb{K} \to \mathbb{K}^{\{0,1\}^1} \to \mathbb{K}^{\{0,1\}^2} \to \dotsc$ identifies with the sequence of inclusions $X_0 \subseteq X_1 \subseteq X_2 \subseteq \dotsc$, where $X_n$ is the space of step functions $[0,1[ \to \mathbb{K}$ which are constant on every intervall of the $n$-th dyadic subdivision of the interval. The norm becomes the usual $\mathrm{L}^1$-norm. The union $\cup_n X_n$ consists of those step functions which are locally constant with respect to some dyadic subdivision and is endowed with the $\mathrm{L}^1$-norm. All step functions can be approximated by these dyadic step functions. The completion is thus, indeed, $\mathrm{L}^1[0,1]$. Also some inspection gives us that the algebra structure consists of the constant function $1$ and the map $(f,g) \mapsto f \star g$, which squeezes and juxtaposes.</p> <p>So basically this construction is very similar to the usual one of $\mathrm{L}^1[0,1]$, but we don't have to care about any ambiguity of choices since all the involved universal properties ensure this automatically. Besides, it avoids the general measure theory.</p>