We recall the main theorems of this week, then explore their consequences and how to use them to test whether functors are adjoints and to computer (co)limits. We then work towards understanding why all you need are products and equalizers to build all limits.