## Preservation of limits

Yesterday I talked about functors that create limits. It’s theoretically interesting, but a different condition that’s often more useful in practice is that a functor “preserve” limits.

Given a small category , a functor preserves -limits if whenever is a limiting cone for a functor then is a limiting cone for the functor . A functor is called “continuous” if it preserves all small limits. By the existence theorem, a functor is continuous if and only if it preserves all (small) products and pairwise equalizers.

As stated above, this condition is different than creating limits, but the two are related. If is a category which has -limits and is a functor which creates -limits, then we know also has -limits. I claim that preserves these limits as well. More generally, if is complete and creates all small limits then is complete and is continuous.

Indeed, let be a functor and let be a limiting cone for . Then since creates limits we know there is a unique cone in with , and this is a limiting cone on . But limiting cones are unique up to isomorphism, so this is the limit of and preserves it.

Now it’s useful to have good examples of continuous functors at hand, and we know one great family of such functors: representable functors. It should be clear that two naturally isomorphic functors are either both continuous or both not, so we just need to consider functors of the form .

First let’s note a few things down. A cone in is a family of arrows (into a family of different objects) indexed by , so we can instead think of it as a family of elements in the family of sets . That is, it’s the same thing as a cone , with vertex a set with one element. Also, remember from our proof of the completeness of that if we have a cone then we get a function from to the set of cones on with vertex . That is, . Finally, we can read the definition of a limit as saying that the set of cones is in bijection with the set of arrows

Now we see that

In the first bijection we use the equivalence of cones with vertex and functions from to the set of cones with vertex . In the second we use the fact that a cone in from to a family of hom-sets is equivalent to a cone in . In the third bijection we use the definition of limits to replace a cone from to by an arrow from to .

But now we can use the definition of limits *again*, now saying that

and since this holds for any set we must have . Therefore preserves the limit.

Note that the fundamental group functor is a typical example of something not preserving all limits, whereas, IIRC, the fundamental groupoid does. This is why we end up with van Kampen being very nifty in groupoidal algebraic topology.

Comment by michiexile | June 23, 2007 |

I’m pretty sure the fundamental group functor from to actually does preserve limits, since it’s represented by the circle (considered as a cogroup object in ).

Comment by John Armstrong | June 23, 2007 |

Hmmmm. So van Kampen is “The functor preserves pushouts” there as well?

Then the motivation for groupoids probably is that something or other turns out to be a groupoid again….

Comment by michiexile | June 23, 2007 |

Well, actually it’s a little hairier than that. Remember that a pushout isn’t a limit, but rather a

colimit, and I haven’t shows that representable functors are cocontinuous. In fact, I’m pretty sure they’re not. I can’t find a reference offhand that tells me that representable functors preserve filtered colimits, but I’m going to try to work that out myself this weekend.As far as I’m concerned, the motivation for fundamental groupoids is that you don’t have to artificially pick a base-point. The fundamental groupoid is a functor from , not .

Comment by John Armstrong | June 23, 2007 |

Sorry, I seem to have been mistaken. I may be missing something, but as I consider it I’m thinking that the preservation of colimits for the fundamental group hinges on the classifying space functor.

Comment by John Armstrong | June 23, 2007 |

I’m trying to get a clue of your remarks in 6th paragraph:

In the first remark, I think, we only want to assume that F is to some category C, not necessarily to Set. That’s how it’s used in the end.

In third remark, the objects X and C should be the same arbitrary fixed object.

Maybe you are in a great flow and don’t have time to look backđź™‚.

Comment by mattiast | June 23, 2007 |

You’re right about the third remark, that I switched notation halfway through.

As to the first, there really is something special about the category of sets here. I’m moving from a cone over with vertex to a cone over with vertex . The special thing is that I’m replacing arrows with elements of hom-sets, and then replacing elements with arrows from the terminal object. This sort of thing is particular to , at least so far.

Comment by John Armstrong | June 23, 2007 |

Yes, but even if C is in and , is still in Set for every locally small category. Can’t you do the same thing in that case?

And if not, why is the second bijection true in the end?

Maybe I’m just bitching over notation, but as I understand, the notation implies that C is a set and F functor from J to Set.

Comment by mattiast | June 24, 2007 |

Ah, that’s it.. I was pulling that first statement in from the previous day where I used it in the case of to find that the limit object

isthe set of cones, but here I’m using the more general, so I should have transcribed it more generally. You’re right, it does work like that. Fixing…Comment by John Armstrong | June 24, 2007 |

John Baez has some interesting thoughts about the analogy between the hom functor and inner products in a Hilbert space, which appears to be implicit in some of the definitions here. Is there a “Riesz representation theorem” for continuous functors satisfying an analogue of linearity? What about a “Cauchy-Schwarz inequality”? That is, for what categories is it true that there exists a monomorphism (is that the appropriate term?) from

to

?

The obvious map that comes to mind is .

Comment by Qiaochu Yuan | June 5, 2009 |

John’s not the only one to point that sort of thing out. I admit that by covering a lot of category theory first I’ve come at the “adjoint” analogy in the exact opposite order than the usual one. In the fullness of time, when we categorify vector spaces to abelian categories, inner products generally become hom functors.

I’ll also admit that I don’t have the answers to your questions off the top of my head. Todd might have a better idea, and I have a good feeling about your idea for the Cauchy-Schwarz inequality. The simplest and most obvious answer here is often right, and the depth comes from understanding it in a completely new way. For full points, though, I’d ask you to prove that your map is really injective. That is, if

and

then and .

Comment by John Armstrong | June 5, 2009 |

Hi Qiaochu —

Your idea is interesting, and there was in fact a fairly lengthy conversation about it at the n-Category Cafe (with Terry Tao putting in a guest appearance and providing some incisive comments), starting about here. Unfortunately, no good positive results came out of the conversation, despite some playing around with it by some smart people.

If you got some further insights about this somewhere down the line, you should definitely post your comments to the Cafe — people would be interested.

Comment by Todd Trimble | June 5, 2009 |