Weighted limits, ends, and Day convolution (Part 1)
8th December, 2017
A motto of category theory is that ‘Kan extensions are everywhere’. As a simplification of this, ‘(co)limits are in a lot of places’. By rephrasing the definition of a limit we end up with something that looks invitingly generalisable. This is how we can stumble across the idea of a weighted limit. In this post I’m going to assume that you are already convinced of the usefulness and omnipresence of limits and not talk too much (if at all) about why they are interesting in their own right.
Edit: If you actually want to learn this stuff then have a look at either of Emily Riehl’s books (Categorical Homotopy Theory and Category Theory in Context). I honestly don’t think there is a better teaching of this anywhere else in the literature.
This is the first in a series of notes that are basically summaries of various pages on the nLab, along with a few other sources. There is nothing original here, except any mistakes.
We start by rephrasing what it means for an object to be the limit of a functor in terms of representable presheaves.
Let be a presheaf on a small category . Then the limit of over is the hom-set
where is the functor category, and is the constant functor to a singleton set. Since the covariant hom functor commutes with set-valued limits, we can use the Yoneda lemma, as always, to work with and see that
for any set .
For small categories
If we now find ourselves in the more general case of having a functor for some arbitrary (small) category then we can use the above trick: we define the presheaf by using the set-valued limit above, i.e.
where is the presheaf category , and we write to mean . But by the definition of the limit given at the start, this can be rewritten (‘‘setting ’’) as
It can then be shown that the limit of , as defined in any other classical way, is exactly an object representing the presheaf , i.e.
There are two things in the above that look interesting to try to generalise:
- Consider something more complicated than terminal cones: replace with some arbitrary functor (that will be called the weight);
- Work in -enriched categories rather than just -enriched (i.e small) ones.
This leads to the following definition. Let be a -enriched category, and and functors. The -weighted limit of is (if it exists) an object that represents (for ) the functor
In particular, if then you can show that .
In the next post we’ll have a look at why this generalisation is of any interest, and how we can use it to define (co)ends.