The Unapologetic Mathematician

Mathematics for the interested outsider

Newton Fractals

As soon as I’m done teaching today, I’m heading on the road to scenic Tyler, TX for the Conference on Representation Theory, Quantum Field Theory, Category Theory, Mathematical Physics and Quantum Information Theory. And so something light, that I actually presented to my students last week.

Many of you may be familiar with this from calculus, but at least it’s more interesting than L’Hôpital’s rule. For those who haven’t seen it, this post is outside the main line. Accordingly, I’m willing to leave some of the calculus unmotivated and unexplained.

Newton’s Method is an attempt to find a point x where f(x)=0 for some function f. The basic idea is that we pick a point near where we think there’s a zero of the function and assume that the graph of the function is sort of sloping towards the zero. Functions on their own are sort of hard to work with, but we know how to deal with linear functions pretty well. We’ll try to pretend the function is just linear and work from there.

So if we start at the point x_0 we have the point (x_0,f(x_0)) on the graph above it. Then we draw a straight line that just touches the graph at that point. Calculus tells us that this line has the equation y=f'(x_0)(x-x_0)+f(x_0). Now we want to find the x_0 where this line crosses the x-axis. That is: 0=f'(x_0)(x_1-x_0)+f(x_0). Some algebra tells us that x_1=x_0-\frac{f(x_0)}{f'(x_0)}.

Now I’m not saying that x_1 is our desired zero, but hopefully it’s closer. Then we just run this again. If we define g(x)=x-\frac{f(x)}{f'(x)} we can write x_1=g(x_0). And then we continue by writing x_2=g(g(x_0))=g^2(x_0), where the exponent means we evaluate the function g twice. This goes on, defining an infinite sequence of points x_n=g^n(x_0), and the hope is that this will zoom in on a zero of the function.

Well, zeroes of the function f are fixed points of this map. Indeed, if f(\xi)=0 then g(\xi)=\xi-\frac{0}{f'(\xi)}=\xi. We have other tools that tell us a fixed point \xi of a function will attract nearby points if |g'(\xi)|<1. And here, g'(x)=\frac{f(x)f''(x)}{f'(x)^2}. Since f(\xi)=0, we see that g'(\xi)=0<1, so near these fixed points the map g does indeed pull points closer.

But there’s a problem. What happens when f'(x)=0? Then the function g is undefined, and the method breaks down. Almost as bad, near those points the tangent line is almost flat, and so the next point in the sequence ends up very far away, possibly nearer a different zero than the one we were trying to find.

Here’s a picture to show how complicated this can get. In this picture, we’re moving from calculus over the real numbers to calculus over the complex numbers, but the mechanics of Newton’s Method work the same. We consider the function f(x)=x^3-1, so we’re trying to find the three points on the complex plane that have cube 1. We know that one is 1 itself, and the other two are situated a third of a rotation around the unit circle in either direction.

We get the picture by picking a complex number to start with, and running the method until we’re within some very small distance of one of our zeroes, so we know we’re going to get to that one in the limit. If we end up at 1, we color the point blue. The points which go to the other two zeroes we color green and red, respectively. We color a point darker if it takes longer to get near one of the zeroes.

We’d hope that starting at a given point would land us at the closest of the three zeroes, but borders here are tricky. We can never have a boundary between two of these basins of attraction without having the third one there too. So along the line separating the blue basin from the red one we have a chain of green islands. Similarly, we have red islands between blue and green, and blue islands between red and green. And then along the boundary a green island shares with the big blue basin we have a chain of smaller red islands, and so on. The upshot is that every boundary point looks like the point at z=0 where all three basins touch each other, leading to the famous self-similarity that is characteristic of fractal geometries.

September 19, 2007 Posted by | Uncategorized | 11 Comments

More on Kernels and Cokernels

The best-known abelian categories are categories of modules over various rings. And as modules, these objects are structured sets. Now, even though we’re willing to elide the difference between a hom-group and a hom-set, we would at least like to avoid talking about the objects as sets, and the morphisms as functions. So let’s try to focus on studying the morphisms and use them to understand the properties of the category. Luckily, in an abelian category we know a lot about morphisms.

For one thing, let’s consider an object C\in\mathcal{C} and the set P_C=\bigcup\limits_{C'\in\mathcal{C}}\hom_\mathcal{C}(C',C) of all the arrows coming into C. We can put the structure of a preorder \preceq on this set by saying (f:A\rightarrow C)\preceq(g:B\rightarrow C) if there is h:A\rightarrow B with f=g\circ h. It’s straightforward to show that this relation is reflexive and transitive. Then, as usual we can symmetrize this relation to get an equivalence relation: f\equiv g if and only if f\preceq g and g\preceq f. When we pass to the equivalence classes, the preorder becomes a partial order, which we’ll also call P_C. In particular, this includes all monomorphisms, which we know as subobjects.

Similarly, we can construct another preorder Q^C=\bigcup\limits_{C'\in\mathcal{C}}\hom_\mathcal{C}(C,C') of all the arrows leading out of C with f\succeq g if there is an h with g=h\circ f. We can also turn this into a partial order, which includes the partial order of all quotient objects of C.

Now for every arrow g from C pick a kernel and for every f to C pick a cokernel. Then f and \mathrm{Ker}(g) live in P_C, while \mathrm{Cok}(f) and g live in Q^C. And we have three equivalent statements:

  • f\preceq\mathrm{Ker}(g)
  • g\circ f=0
  • \mathrm{Cok}(f)\succeq g

Now the partial orders Q^C and P_C can be considered as categories, as any partial order can be. And the maps \mathrm{Ker}:Q^C\rightarrow P_C and \mathrm{Cok}:P_C\rightarrow Q^C reverse these orders, so they are contravariant functors. So let’s flip the order on P_C (x\geq y instead of x\preceq y) and instead consider them as covariant functors \mathrm{Ker}:Q^C\rightarrow P_C^\mathrm{op} and \mathrm{Cok}:P_C^\mathrm{op}\rightarrow Q^C.

The above equivalence now reads f\geq\mathrm{Ker}(g)\Leftrightarrow\mathrm{Cok}(f)\succeq g. That is, we have an adjunction. The identities satisfied by the unit and counit read, in this case:

  • \mathrm{Ker}(\mathrm{Cok}(\mathrm{Ker}(g)))=\mathrm{Ker}(g)
  • \mathrm{Cok}(\mathrm{Ker}(\mathrm{Cok}(f)))=\mathrm{Cok}(f)

September 18, 2007 Posted by | Category theory | Leave a comment

Properties of Ab-Categories

There are a number of things we can say right off about the \mathbf{Ab}-categories we defined last time. As is common practice, we’ll blur the distinction between an abelian group and its underlying set.

First of all, any \mathbf{Ab}-category \mathcal{C} has zero morphisms. That is, there’s a special morphism between any two objects that when composed with any other morphism gives the special morphism in the appropriate hom-set. In fact, since each hom-set is an abelian group it has an additive identity 0\in\hom_\mathcal{C}(A,B). Then for any f\in\hom_\mathcal{C}(B,C) we have f\otimes0=0\in\hom_\mathcal{C}(B,C)\otimes\hom_\mathcal{C}(A,B), which composition must send to 0\in\hom_\mathcal{C}(A,C). The zero morphisms are exactly the zero morphisms!

Given any object C\in\mathcal{C} the hom-set \hom_\mathcal{C}(C,C) is already an abelian group. But the composition puts the structure of a monoid onto this set as well, and the linearity condition says these two are compatible, making the endomorphism monoid into an endomorphism ring. In fact, every ring is an endomorphism ring. Way back when we first defined categories we noted that a category with one object was the exact same thing as a monoid. And a ring is just an abelian group with a compatible monoid structure on it. So an \mathbf{Ab}-category with a single object is the exact same thing as a ring! In fact, a lot of the study of \mathbf{Ab}-categories can be seen as extending ring theory from that special case to the more general one. Incidentally, you should see right off that when we consider rings R and S as categories like this, a ring homomorphism from R to S is the same thing as an \mathbf{Ab}-functor between the categories.

Remember when we talked about direct sums of modules over a given ring? Well the same thing happens here. We define the “biproduct” \bigoplus\limits_{i=1}^n A_i of the finite collection of objects A_i to be an object along with two families of arrows:

  • \pi_i:\bigoplus\limits_{i=1}^n A_i\rightarrow A_i
  • \iota_i:A_i\rightarrow\bigoplus\limits_{i=1}^n A_i

satisfying the relations

  • \pi_i\circ\iota_j=0:A_j\rightarrow A_i if i\neq j
  • \pi_i\circ\iota_i=1_{A_i}:A_i\rightarrow A_i
  • \sum\limits_{i=1}^n\iota_i\circ\pi_i=1_{\bigoplus\limits_{i=1}^n A_i}

From the same arguments as in our coverage of direct sums we see that a biproduct satisfies the universal properties of both a categorical product and coproduct, and conversely that a categorical product or coproduct implies the existence of the biproduct arrows. Note that we’re making no statement whatsoever that such a biproduct actually exists in our category, but when it does it’s both a product and a coproduct.

As a special case, we can consider the biproduct of an empty collection of objects. This will be both a product and a coproduct of an empty collection of objects, if it exists, and will thus be a zero object. Of course, it may or may not exist.

Even if there is no zero object in our category, we still have the above zero morphisms, and so we can still talk about kernels and cokernels. The kernel \mathrm{Ker}(f) of a morphism f:A\rightarrow B is the equalizer \mathrm{Equ}(f,0), and its cokernel \mathrm{Cok}(f) is the coequalizer \mathrm{Coequ}(f,0). In fact, life is even better now that we’re enriched over \mathbf{Ab}: every equalizer is a kernel and every coequalizer is a cokernel. Indeed, \mathrm{Equ}(f,g)=\mathrm{Ker}(f-g) and similarly for coequalizers. Again, we’re saying nothing about whether such kernels or cokernels actually exist.

Together, these facts say a lot about the behavior of limits in \mathbf{Ab}-categories. Biproducts tell us about finite products and coproducts, while kernels of morphisms tell us about all different equalizers. And then The Existence Theorem for Limits tells us that every finite limit can be constructed from finite products and equalizers, while every finite colimit can be constructed from finite coproducts and coequalizers. So if our \mathbf{Ab}-category has all biproducts, all kernels, and all cokernels, then it has all finite limits whatsoever!

Let’s add one more little property that will simplify our life. We know that kernels are monomorphisms, and that cokernels are epimorphisms. If we assume on top of having all biproducts, kernels, and cokernels that every monomorphism is actually the kernel of some arrow in our category, and that every epimorphism is actually the cokernel of some arrow, then we will call our \mathbf{Ab}-category an abelian category.

You should verify that given any ring R the category R\mathbf{-mod} of all left R-modules satisfies all these properties, and thus is an abelian category. These are the abelian categories that started the whole theory of homological algebra, which is to a large extent the study of general abelian categories.

September 17, 2007 Posted by | Category theory | 10 Comments

Ab-Categories

Now that we’ve done a whole lot about enriched categories in the abstract, let’s look at the very useful special case of categories enriched over \mathbf{Ab} — the category of abelian groups.

We know that \mathbf{Ab} is a monoidal category, with the tensor product of abelian groups as its monoidal structure and the free abelian group \mathbb{Z} as the monoidal identity. Even better, it’s symmetric, and even closed. That is, for any two abelian groups A and B we have an isomorphism A\otimes B\cong B\otimes A, and there is a natural abelian group structure on the set of homomorphisms B^A=\hom_\mathbf{Ab}(A,B) satisfying the adjunction \hom_\mathbf{Ab}(A\otimes B,C)\cong\hom_\mathbf{Ab}(A,C^B).

Further, \mathbf{Ab} is complete and cocomplete. All together, this means it’s a great candidate as a base category on which to build enriched categories. Of course, these will be called \mathbf{Ab}-categories.

So let’s read the definitions. An \mathbf{Ab}-category \mathcal{C} has a collection of objects, and between objects A and B there is an abelian hom-group \hom_\mathcal{C}(A,B).

For each object C we have a homomorphism of abelian groups \mathbb{Z}\rightarrow\hom_\mathcal{C}(C,C) which picks out the “identity morphism” from C to itself at the level of the underlying sets. Remember that we’re no longer thinking of an abelian group as having elements — only its underlying set has elements anymore, and the underlying set of an abelian group X is the set of abelian group homomorphisms \mathbb{Z}\rightarrow X.

Given three objects A,B,C\in\mathcal{C} we have a “composition” arrow in \mathbf{Ab}: \circ:\hom_\mathcal{C}(B,C)\otimes\hom_\mathcal{C}(A,B)\rightarrow\hom_\mathcal{C}(A,C). This is associative and the identity morphism acts as an identity in the sense that the appropriate diagrams commute. Of course, since the composition arrows are morphisms in \mathbf{Ab} they are linear functions in each input.

An \mathbf{Ab}-functor F between \mathbf{Ab}-categories \mathcal{C} and \mathcal{D} is defined by a function Ffrom the objects of \mathcal{C} to the objects of \mathcal{D}, and for each pair of objects C,C'\in\mathcal{C} a homomorphism of abelian groups F_{C,C'}:\hom_\mathcal{C}(C,C')\rightarrow\hom_\mathcal{D}(F(C),F(C')). Two diagrams are required to commute, saying that these linear functions preserve the composition and identity functions.

An \mathbf{Ab}-natural transformation is one of two forms. In one we’re given two \mathbf{Ab}-functors F and G. Then a natural \eta:F\rightarrow G is a collection of linear functions \eta_C:\mathbb{Z}\rightarrow\hom_\mathcal{D}(F(C),G(C)) making one diagram commute. In the other we’re given an object K\in\mathcal{D} and a bifunctor T:\mathcal{C}^\mathrm{op}\otimes\mathcal{C}\rightarrow\mathcal{D}. Then \eta:K\rightarrow T is a collection of linear functions \eta:K\rightarrow T(C,C) making another diagram commute.

Together, \mathbf{Ab}-categories, \mathbf{Ab}-functors between them, and \mathbf{Ab}-natural transformations (of the first kind) form a 2-category. We can pair off \mathbf{Ab}-categories \mathcal{C} and \mathcal{D} to get the product category \mathcal{C}\otimes\mathcal{D} (in fact we already did once above) and we can take the opposite category \mathcal{C}^\mathrm{op}. Thus \mathbf{Ab}-categories form a symmetric monoidal 2-category with a duality involution.

There’s a whole lot of structure here, but ultimately it boils down to “the hom-sets all have the structure of abelian groups, and everything in sight is \mathbb{Z}-linear”. And that’s the usual definition given, that I decided to forgo back when I started in on enriched categories.

September 14, 2007 Posted by | Category theory | 1 Comment

Free Enriched Categories

Now we’re going to assume that our monoidal category \mathcal{V} is also cocomplete. In particular, we’ll assume that it has all small coproducts.

This is enough to ensure that the “underlying set” functor \hom_{\mathcal{V}_0}(\mathbf{1},\underline{\hphantom{X}}) has a left adjoint (\underline{\hphantom{X}})\cdot\mathbf{1} that sends a set E to the coproduct of a bunch of copies of \mathbf{1} indexed by E. The adjunction says that \hom_{\mathcal{V}_0}(\coprod\limits_E\mathbf{1},X)\cong\prod_E\hom_{\mathcal{V}_0}(\mathbf{1},X) is naturally isomorphic to \hom_\mathbf{Set}(E,\hom_{\mathcal{V}_0}(\mathbf{1},X)). That is, a function from E to the underlying set of X is the same as an E-indexed collection of elements of the underlying set of X.

It’s straightforward from here to verify that this adjunction interchanges the cartesian product on \mathbf{Set} and the monoidal structure on \mathcal{V}. That is, (E\times F)\cdot\mathbf{1}\cong(E\cdot\mathbf{1})\otimes(F\cdot\mathbf{1}) and {*}\cdot\mathbf{1}\cong\mathbf{1}.

And now the 2-functor (\underline{\hphantom{X}})_0:\mathcal{V}\mathbf{-Cat}\rightarrow\mathbf{Cat} has a left 2-adjoint (\underline{\hphantom{X}})_\mathcal{V}. Starting with an ordinary category \mathcal{C} (with hom-sets) we get the “free \mathcal{V}-category” \mathcal{C}_\mathcal{V} with the same objects as \mathcal{C}, and with the hom-objects given by \hom_{\mathcal{C}_\mathcal{V}}(C,C')=\hom_\mathcal{C}(C,C')\cdot\mathbf{1}. Compositions and identities for this \mathcal{V}-category are induced by the above exchange of cartesian and monoidal structures. The actions of this 2-functor on functors and natural transformations are straightforwardly defined.

For example, when \mathcal{V}=\mathbf{Ab}, we just replace each hom-set \hom_\mathcal{C}(C,C') by the free abelian group on \hom_\mathcal{C}(C,C'). We extend the composition and identity maps from the ordinary category \mathcal{C} by linearity. In particular, if \mathcal{C} has only one object — if it’s a monoid M — then \mathcal{C}_\mathbf{Ab} is the free ring \mathbb{Z}[M] on M.

To finish off, let \mathcal{C} be a small category, so \mathcal{C}_\mathcal{V} is a small \mathcal{V}-category. Then we can define functor categories and functor \mathcal{V}-categories. Verify that \left(\mathcal{B}^{\mathcal{C}_\mathcal{V}}\right)_0\cong\left(\mathcal{B}_0\right)^\mathcal{C} by the above 2-adjunction.

September 13, 2007 Posted by | Category theory | Leave a comment

The Strong Yoneda Lemma

We gave a weak, “half-enriched” version of the Yoneda Lemma earlier. Now it’s time to pump it up to a fully-enriched version.

Given a \mathcal{V}-functor F:\mathcal{C}\rightarrow\mathcal{V} and an object K\in\mathcal{C}, then the functor defines a \mathcal{V}-natural map F_{K,C}:\hom_\mathcal{C}(K,C)\rightarrow F(C)^{F(K)}. We also have the (ordinary) adjunction
\hom_{\mathcal{V}_0}(\hom_\mathcal{C}(K,C),F(C)^{F(K)})\cong\hom_{\mathcal{V}_0}(F(K),F(C)^{\hom_\mathcal{C}(K,C)})
and under this adjunction we find F_{K,C} corresponding to a \mathcal{V}-natural transformation \phi_C:F(K)\rightarrow F(C)^{\hom_\mathcal{C}(K,C)}. Now the strong form of the Yoneda Lemma says that this family is actually the counit of the end \int_{C\in\mathcal{C}}F(C)^{\hom_\mathcal{C}(K,C)}, so by the definition of the functor category \mathcal{V}^\mathcal{C} we have an isomorphism in \mathcal{V}:
\phi:F(K)\cong\hom_{\mathcal{V}^\mathcal{C}}(\hom_\mathcal{C}(K,\underline{\hphantom{X}}),F)

So, how do we verify that F(K) is the end in question? Consider any other \mathcal{V}-natural family \alpha_C:X\rightarrow F(C)^{\hom_\mathcal{C}(K,C)}. Now we run the above adjunction backwards to get a \mathcal{V}-natural family \widetilde{\alpha}_C:\hom_\mathcal{C}(K,C)\rightarrow F(C)^X. But this is now a \mathcal{V}-natural transformation from the functor represented by K to the functor F(\underline{\hphantom{X}})^X, and so the weak form of the Yoneda Lemma tells us that \widetilde{\alpha}_C={1_{F(C)}}^\eta\circ F_{K,C} for a unique \eta:X\rightarrow F(K). Running this back through the adjunction says that \alpha_C=\phi_C\circ\eta, and the universal property is satisfied.

Let’s hit this isomorphism with the underlying set functor to get a bijection \hom_{\mathcal{V}_0}(\mathbf{1},F(K))\cong(\mathcal{V}^\mathcal{C})_0(\hom_\mathcal{C}(K,\underline{\hphantom{X}}),F). This sends an arrow \eta:\mathbf{1}\rightarrow F(K) to \phi\circ\eta, which is a \mathcal{V}-natural family with components given by \phi_C\circ\eta. But this is exactly the bijection asserted by the weak form of the Yoneda Lemma, so the weaker form is implied by the stronger one.

If we consider the special case where our functor is representable, we find that
\hom_\mathcal{C}(L,K)\cong\hom_{\mathcal{V}^\mathcal{C}}(\hom_\mathcal{C}(K,\underline{\hphantom{X}}),\hom_\mathcal{C}(L,\underline{\hphantom{X}}))

When \mathcal{V}^\mathcal{C} exists, we can convert the functor \hom_\mathcal{C}:\mathcal{C}^\mathrm{op}\otimes\mathcal{C}\rightarrow\mathcal{V} to a functor Y:\mathcal{C}^\mathrm{op}\rightarrow\mathcal{V}^\mathcal{C} by the exponential adjunction in \mathcal{V}\mathbf{-Cat}. By the case of representable functors given above, this Yoneda embedding is fully faithful. From this \mathcal{V}-functor we can establish that the Yoneda isomorphism \phi is \mathcal{V}-natural in F and K.

September 12, 2007 Posted by | Category theory | Leave a comment

New Blaths

Here are a couple new blaths (I’m going to popularize that term if it kills me) to hit the intarwobs. First off is the latest Fields-Medalist-cum-blatherer, Timothy Gowers.

More interesting to me is Rigorous Trivialities, which is being sporadically written by a new graduate student at UPenn. I wonder if Isabel put him up to it. Either way, this means we’re only one seminar invitation from having three Ivy-league-educated math bloggers in one room (hint, hint).

September 12, 2007 Posted by | Uncategorized | 6 Comments

Functor Categories as Exponentials

The notation we used for the enriched category of functors between two enriched categories gives away the game a bit: this will be the exponential between the two categories.

First off, the arrows E_C that we used to read off the C-component of a natural transformation turn out to fit into a more general structure. As we might hope there’s an “evaluation” functor E:\mathcal{D}^\mathcal{C}\otimes\mathcal{C}\rightarrow\mathcal{D} that takes a \mathcal{V}-functor from \mathcal{C} to \mathcal{D} and evaluates it on an object of \mathcal{C} to give an object of \mathcal{D}. The partial functors are E(\underline{\hphantom{X}},C)=E_C:\mathcal{D}^\mathcal{C}\rightarrow\mathcal{D} and E(F,\underline{\hphantom{X}})=F:\mathcal{C}\rightarrow\mathcal{D}. That this is actually a \mathcal{V}-functor follows yet again from that litany of naturalities we keep referring to.

Now the \mathcal{V}-functor E induces an ordinary functor \hom_{\mathcal{V}\mathbf{-Cat}}(\mathcal{C},\mathcal{B}^\mathcal{A})\rightarrow\hom_{\mathcal{V}\mathbf{-Cat}}(\mathcal{C}\otimes\mathcal{A},\mathcal{B}). Remember here that \mathcal{V}\mathbf{-Cat} is a 2-category — a category enriched over ordinary categories — so each hom-object is a category, and an arrow from one hom-object to another is a functor. In particular, given a functor F:\mathcal{C}\rightarrow\mathcal{B}^\mathcal{A} we get a functor F\otimes1_\mathcal{A}:\mathcal{C}\otimes\mathcal{A}\rightarrow\mathcal{B}^\mathcal{A}\otimes\mathcal{A}. And then we compose with the evaluation functor to get a functor \mathcal{C}\otimes\mathcal{A}\rightarrow\mathcal{B}. It turns out that this functor is an isomorphism of categories.

This means that every functor P:\mathcal{C}\otimes\mathcal{A}\rightarrow\mathcal{B} is of the above form for some unique F:\mathcal{C}\rightarrow\mathcal{B}^\mathcal{A}. Let’s look at the partial functors of P and E\circ(F\otimes1_\mathcal{A}).

  • P(C,\underline{\hphantom{X}})=[F(C)](\underline{\hphantom{X}})
  • P(\underline{\hphantom{X}},A)=E_A\circ F

The first of these equations completely determines the functor in \mathcal{B}^\mathcal{A} that F must assign to an object of \mathcal{C}. The second uniquely determines the action of F on hom-objects because E_A is the counit of an end, and it comes with a universal property. Thus the above map is bijective on objects. But since it’s a functor we also need it to be bijective on morphisms — natural transformations in this case.

So, if we’ve got functors F and F' from \mathcal{C} to \mathcal{B}^\mathcal{A}, with images P and P' from \mathcal{C}\otimes\mathcal{A}\rightarrow\mathcal{B}. Now we need to check that every \mathcal{V}-natural \alpha:P\rightarrow P' is of the form 1_E\circ(\beta\otimes1_{1_\mathcal{A}}) for some unique \mathcal{V}-natural \beta:F\rightarrow F'. But by the equation above between the second partial functors, this says that \alpha_{C,A}=E_A\circ\beta_C=(\beta_C)_A. Thus \beta:F\rightarrow F' is the \mathcal{V}-natural transformation \alpha_{C,\underline{\hphantom{X}}}:P(C,\underline{\hphantom{X}})\rightarrow P'(C,\underline{\hphantom{X}}).

We now have a 2-natural isomorphism (natural isomorphism enriched over \mathbf{Cat}): \hom_{\mathcal{V}\mathbf{-Cat}}(\mathcal{C},\mathcal{B}^\mathcal{A})\cong\hom_{\mathcal{V}\mathbf{-Cat}}(\mathcal{C}\otimes\mathcal{A},\mathcal{B}). Equivalently, this means that E:\mathcal{B}^\mathcal{A}\otimes\mathcal{A}\rightarrow\mathcal{B} is 2-natural in each variable. Using this naturality it’s straightforward to show that given M:\mathcal{A}'\rightarrow\mathcal{A} and N:\mathcal{B}\rightarrow\mathcal{B}' we get a \mathcal{V}-functor N^M:\mathcal{B}^\mathcal{A}\rightarrow\mathcal{B}'^{\mathcal{A}'} by composing functors.

All of this fits together to say that the 2-functor \underline{\hphantom{X}}\otimes\mathcal{C}:\mathcal{V}\mathbf{-Cat}\rightarrow\mathcal{V}\mathbf{-Cat} has a right adjoint (\underline{\hphantom{X}})^\mathcal{C} when \mathcal{D}^\mathcal{C} exists for all \mathcal{D}. At this point, the existence tends to hinge on a lot of smallness technicalities. The 2-category of all \mathcal{V}-categories is thus “partially closed”, in a similar way to the 2-category of all ordinary categories. However, if we restrict to small \mathcal{V}-categories we actually do have a symmetric, monoidal, closed 2-category.

In either case, partial closedness together with the Fubini theorem is enough for us to get the standard isomorphisms \mathcal{B}^\mathcal{I}\cong\mathcal{B} and \mathcal{B}^{\mathcal{C}\otimes\mathcal{A}}\cong(\mathcal{B}^\mathcal{A})^\mathcal{C}. This latter holds in the sense that either side exists if the other one does.

September 11, 2007 Posted by | Category theory | Leave a comment

Functor Categories

Let’s consider two categories enriched over a monoidal category \mathcal{V}\mathcal{C} and \mathcal{D} — and assume that \mathcal{C} is equivalent to a small category. We’ll build a \mathcal{V}-category \mathcal{D}^\mathcal{C} of functors between them.

Of course the objects will be functors F:\mathcal{C}\rightarrow\mathcal{D}. Now for functors F and G we need a \mathcal{V}-object of natural transformations between them. For this, we will use an end:
\hom_{\mathcal{D}^\mathcal{C}}(F,G)=\int_{A\in\mathcal{C}}\hom_\mathcal{D}(F(C),G(C))
This end is sure to exist because of the smallness assumption on \mathcal{C}. Its counit will be written E_C=E_{C,F,G}:\hom_{\mathcal{D}^\mathcal{C}}(F,G)\rightarrow\hom_\mathcal{D}(F(C),G(C)).

An “element” of this \mathcal{V} object is an arrow \eta:\mathbf{1}\rightarrow\hom_{\mathcal{D}^\mathcal{C}}(F,G). Such arrows correspond uniquely to \mathcal{V}-natural families of arrows \eta_C=E_C\circ\eta:\mathbf{1}\rightarrow\hom_\mathcal{D}(F(C),G(C)), which we know is the same as a \mathcal{V}-natural transformation from F to G. We also see that at this level of elements, the counit E_C takes a \mathcal{V}-natural transformation and “evaluates” it at the object C.

Now we need to define composition morphisms for these hom-objects. This composition will be inherited from the target category \mathcal{B}. Basically, the idea is that at each object a natural transformation gives a component morphism in the target category, and we compose transformations by composing their components. Of course, we have to finesse this a bit because we don’t have sets and elements anymore.

So how do we get a component morphism? We use the counit map E_C! We have the arrow
E_C\otimes E_C:\hom_{\mathcal{D}^\mathcal{C}}(G,H)\otimes\hom_{\mathcal{D}^\mathcal{C}}(F,G)\rightarrow\hom_\mathcal{D}(G(C),H(C))\otimes\hom_\mathcal{D}(F(C),G(C))
which we can then hit with the composition \circ:\hom_\mathcal{D}(G(C),H(C))\otimes\hom_\mathcal{D}(F(C),G(C))\rightarrow\hom_\mathcal{D}(F(C),H(C)). This is a \mathcal{V}-natural family indexed by C\in\mathcal{C}, so by the universal property of the end we have a unique arrow
\circ:\hom_{\mathcal{D}^\mathcal{C}}(G,H)\otimes\hom_{\mathcal{D}^\mathcal{C}}(F,G)\rightarrow\hom_{\mathcal{D}^\mathcal{C}}(F,H)

Similarly we get the arrow picking out identity morphism on T as the unique one satisfying E_C\circ i_T=i_{T(A)}

So \mathcal{D}^\mathcal{C} is a \mathcal{V}-category whose underlying ordinary category is that of \mathcal{V}-functors and \mathcal{V}-natural transformations between the \mathcal{V}-categories \mathcal{C} and \mathcal{D}. That is, it’s the hom-category \hom_{\mathcal{V}\mathbf{-Cat}}(\mathcal{C},\mathcal{D}) in the 2-category of \mathcal{V}-categories.

September 10, 2007 Posted by | Category theory | 1 Comment

Ends II

We continue our discussion of ends by noting that the process of taking an end (if it exists) is functorial in a sense.

More specifically, let’s say we have two functors T and T' from \mathcal{C}^\mathrm{op}\otimes\mathcal{C} to \mathcal{V}, a \mathcal{V}-natural transformation \alpha:T\rightarrow T', and that both of T and T' have ends. Then we can compose \lambda_A:\int_CT(C,C)\rightarrow T(A,A) with the transformation \alpha_{A,A}:T(A,A)\rightarrow T'(A,A) to get a \mathcal{V}-natural transformation from the end of T to T'. By the universal property of \int_CT'(C,C) there is then a unique arrow \int_C\alpha_{C,C}:\int_CT(C,C)\rightarrow\int_CT'(C,C) so that \lambda'_A\circ\int_C\alpha_{C,C}=\lambda_A\circ\alpha_{A,A}.

Now let’s consider a functor T:\mathcal{C}^\mathrm{op}\otimes\mathcal{C}\otimes\mathcal{A}\rightarrow\mathcal{V} so that the end H(A)=\int_CT(C,C,A) exists for each object A\in\mathcal{A}. That is, we have arrows \lambda_{C,A}:H(A)\rightarrow T(C,C,A) natural in C for each A. There is now a unique way of making H into a functor H:\mathcal{A}\rightarrow\mathcal{V} so that \lambda_{C,A} is also natural in A.

First, we note that H(A')^{H(A)} is an end for T(C,C,A')^{H(A)}. Indeed, we have
H(A')^{H(A)}=\left(\int_CT(C,C,A')\right)^{H(A)}=\int_C\left(T(C,C,A')^{H(A)}\right)
On the other hand, we have
T(C,C,\underline{\hphantom{X}}):\hom_\mathcal{B}(A,A')\rightarrow T(C,C,A')^{T(C,C,A)}
and
{1_{T(C,C,A')}}^{\lambda_{C,A}}:T(C,C,A')^{T(C,C,A)}\rightarrow T(C,C,A')^{H(A)}
By the universal property of the end H(A')^{H(A)}=\hom_\mathcal{V}(H(A),H(A')), there is a unique arrow H_{A,A'}:\hom_\mathcal{B}(A,A')\rightarrow\hom_\mathcal{V}(H(A),H(A')) so that {\lambda_{C,A'}}^{1_{H(A)}}\circ H_{A,A'}={1_{T(C,C,A')}}^{\lambda_{C,A}}\circ T(C,C,\underline{\hphantom{X}}). These H_{A,A'} — along with the behavior of H on objects — form a functor because they are \mathcal{V}-natural, and we can see this naturality from the litany of naturalities.

Now let’s consider a functor T:(\mathcal{A}\otimes\mathcal{B})^\mathrm{op}\otimes(\mathcal{A}\otimes\mathcal{B})\cong\mathcal{A}^\mathrm{op}\otimes\mathcal{A}\otimes\mathcal{B}^\mathrm{op}\otimes\mathcal{B}\rightarrow\mathcal{V}. If each end \int_{A\in\mathcal{A}}T(A,B,A,B') exists, then it they are the values of a \mathcal{V}-functor \mathcal{B}^\mathrm{op}\otimes\mathcal{B}\rightarrow\mathcal{V}.

Further, every family \alpha_{A,B}:X\rightarrow T(A,B,A,B) that is \mathcal{V}-natural in A factorizes uniquely into the composite of \beta_B:X\rightarrow\int_AT(A,B,A,B) and \lambda_{A,B,B}:\int_AT(A,B,A,B)\rightarrow T(A,B,A,B). Again by our litany of naturalities, \alpha_{A,B} is \mathcal{V}-natural in B if and only if \beta_B is. Then since \alpha_{A,B} is natural in A and B separately if and only if it is natural in the pair (A,B)\in\mathcal{A}\otimes\mathcal{B}, we deduce the “Fubini Theorem”: if every \int_AT(A,B,A,B') exists then
\int_{(A,B)\in\mathcal{A}\otimes\mathcal{B}}T(A,B,A,B)\cong\int_{B\in\mathcal{B}}\int_{A\in\mathcal{A}}T(A,B,A,B)
and either side exists if and only if the other side does.

Then, since \mathcal{A}\otimes\mathcal{B}\cong\mathcal{B}\otimes\mathcal{A} we have the “interchange of ends” theorem: if every \int_AT(A,B,A,B') and every \int_BT(A,B,A',B) exists then
\int_{A\in\mathcal{A}}\int_{B\in\mathcal{B}}T(A,B,A,B)\cong\int_{B\in\mathcal{B}}\int_{A\in\mathcal{A}}T(A,B,A,B)
and either side exists if and only if the other side does.

It’s this formal, semantic similarity between the process of taking an end and the process of integration (which some of you may have heard of) that leads us to write an end as if it were an integral. We have bound variables ranging over categories, occurring covariantly and contravariantly, pairing off, and different variables do this essentially independently of each other.

September 7, 2007 Posted by | Category theory | Leave a comment

Follow

Get every new post delivered to your Inbox.

Join 392 other followers