圏論における「きれいな」定理とは ?

実はこっそりと mixi をやっていたりする私ですが、そんな中で、マイミクさんの一人から、圏論で

きれいな定理ありますか

という質問を頂きました。でも、正直なところ、私も圏論からは離れて久しいし、大体何をもって「きれい」とするのかが難しい。名前だけだったら Yoneda's lemma とか思い浮かぶけど、これってどんな内容だったっけ ? もう覚えてません orz