[mycl]

The Yoneda Lemma is really some kind of "fundamental theorem" of elementary category theory. Then there are Freyd's Adjoint Functor Theorem, Kan extensions and probably others I'm forgetting...