## Continuous and Cocontinuous Functors (Pt. II)

**Point of Post: **This is a continuation of this post.

*R**emark: *I would like to point out that there is a much quicker, common “proof” for the above statement. I put proof in scare quotes because while the proof is much slicker and much quicker it doesn’t actually prove that right adjoints are continuous. No, what it really does is prove that . The proof basically goes as follows:

And so by Yoneda’s lemma . While the basic idea is neat it does not actually prove continuity. I am not saying that one couldn’t expand on this slightly and get a proof but that writing that isn’t enough.

Anyways, let me discuss one immediate application of the fact that right adjoints are continuous and left adjoints are cocontinuous.

Suppose for a second that we have two small categories and and a bifunctor –i.e. a diagram in over . Suppose that we can take the limit . Everything’s great then, right? Well, yes, it is, but there is something lurking secretly in the background. Namely, gives us a functor which takes to the functor which on objects is and which on morphisms is . Similarly, we have a functor defined similarly. An obvious question then is whether and exist and if so how do they relate to each other and ? Why is this an obvious question, because if one looks closely one can see that and are like iterated limits that can be roughly symbolized as and respectively. Since the limit functor is a right adjoint we know that it commutes with limits and so we may conclude that, in fact, . It is easy then to see that and thus we may conclude that

**Theorem: ***Let be a diagram. Then, *

Of course, you can make the same statement that colimits commute with colimits.

**Finitely Continuous and Finitely Cocontinuous**

As a last point we would like to mention the following theorem:

**Theorem: ***Let be a functor. Then, is finitely continuous (resp. finitely cocontinuous) if and only if preserves products and equalizers (resp. coproducts and coequalizers).*

This follows from the fact that all limits (resp. colimits) can be defined as a combination of products and equalizers (resp. coproducts and coequalizers).

latex \text{ }$

**References:
**

[1] Mac, Lane Saunders. *Categories for the Working Mathematician*. New York: Springer-Verlag, 1994. Print.

[2] Adámek, Jirí, Horst Herrlich, and George E. Strecker. *Abstract and Concrete Categories: the Joy of Cats*. New York: John Wiley & Sons, 1990. Print.

[3] Berrick, A. J., and M. E. Keating. *Categories and Modules with K-theory in View*. Cambridge, UK: Cambridge UP, 2000. Print.

[4] Freyd, Peter J. *Abelian Categories.* New York: Harper & Row, 1964. Print.

[5] Mitchell, Barry. *Theory of Categories.* New York: Academic, 1965. Print.

[6] Herrlich, Horst, and George E. Strecker. *Category Theory: An Introduction*. Lemgo: Heldermann, 2007. Print.

[…] just kernels in abelian categories we know that commutes with all finite limits (this follows from previous comment) and thus is finitely […]

Pingback by Left Exact, Right Exact, and Exact Functors « Abstract Nonsense | April 24, 2012 |