実はこっそりと mixi をやっていたりする私ですが、そんな中で、マイミクさんの一人から、圏論で きれいな定理ありますか という質問を頂きました。でも、正直なところ、私も圏論からは離れて久しいし、大体何をもって「きれい」とするのかが難しい。名前だ…