The Unapologetic Mathematician

Mathematics for the interested outsider

Limits are Adjoints

When considering limits, we started by talking about the diagonal functor \Delta:\mathcal{C}\rightarrow\mathcal{C}^\mathcal{J}. This assigns to an object C\in\mathcal{C} the “constant” functor \Delta(C):\mathcal{J}\rightarrow\mathcal{C} that sends each object of \mathcal{J} to C and each morphism of \mathcal{J} to 1_C.

Then towards the end of our treatment of limits we showed that taking limits is a functor. That is, if each functor F from \mathcal{J} to \mathcal{C} has a limit \varprojlim_\mathcal{J}F, then \varprojlim_\mathcal{J} is a functor from \mathcal{C}^\mathcal{J} to \mathcal{C}. Dually, if every such functor has a colimit \varinjlim_\mathcal{J}F, then \varinjlim_\mathcal{J}:\mathcal{C}^\mathcal{J}\rightarrow\mathcal{C} is also a functor.

And now we can fit these into the language of adjoints: when it exists, the limit functor is right adjoint to the diagonal functor. Dually, the colimit functor is left adjoint to the diagonal functor when it exists. I’ll handle directly the case of colimits, but the limit statements and proofs are straightforward dualizations.

So we definitely have a well-defined functor \Delta:\mathcal{C}\rightarrow\mathcal{C}^\mathcal{J}. By assumption we have for each functor F\in\mathcal{C}^\mathcal{J} an object \varinjlim_\mathcal{J}F\in\mathcal{C}. If we look at the third entry in our list of ways to specify an adjunction, all we need now is a universal arrow \eta_F:F\rightarrow\Delta(\varprojlim_\mathcal{J}F). But this is exactly how we defined limits! Now the machinery we set up yesterday takes over and promotes this collection of universal arrows into the unit of an adjunction \varinjlim_\mathcal{J}\dashv\Delta:\mathcal{C}^\mathcal{J}\rightarrow\mathcal{C}.

For thoroughness’ sake: the unit of this adjunction \eta_F:F\rightarrow\Delta(\varinjlim_\mathcal{J}F) is the colimiting cocone, considered as a natural transformation from F to the constant functor on the colimiting object. The counit of this adjunction \epsilon_C:\varinjlim_\mathcal{J}\Delta(C)\rightarrow C is just the identity arrow on C because the colimit of the constant functor is just the constant value. The “quasi-inverse” conditions state that \Delta(1_C)\circ\eta_{\Delta(C)} is the identity natural isomorphism on \Delta, and that 1_{\varinjlim_\mathcal{J}F}\circ\varinjlim_\mathcal{J}\eta_F is the identity natural isomorphism on \varinjlim_\mathcal{J}, both of which are readily checked.

And our original definition of an adjoint here reads that \hom_\mathcal{C}(\varinjlim_\mathcal{J}F,C)\cong\hom_{\mathcal{C}^\mathcal{J}}(F,\Delta(C)). That is, for each cocone to C on F (one of the natural transformations on the right) there is a unique arrow from the colimiting object of F to C.

July 20, 2007 Posted by | Category theory | 2 Comments