Re: Fundamental Theorem of Category Theory?

On Sat, 06 Jun 2009 05:51:38 PM EDT, "Ellis D. Cooper" <xtalv1@netropolis.net> asked:

There are Fundamental Theorems of Arithmetic, Algebra, Calculus, and indeed, many more.

My question is, What would be candidates for the Fundamental Theorem of Category Theory?

Yoneda Lemma comes to my mind. What do you think?

Perhaps that, yes; or, perhaps, the characterization of representable functors. Cheers, -- Fred [For admin and other information see: http://www.mta.ca/~cat-dist/ ]