先日、「n-圏とは何だろう」ってエントリーを書いたのですが、普通の圏でさえ浮世離れした印象があるのに、n-圏（高次圏）とかいわれても、「それ、食えないんでしょ？」という程度の反応になるのも無理もないですね。でも実際は、圏やモナドの例がいくらで…

「2008年は誰がくるのか？」より： 長男：「じゃ、エド・はるみ。」父親：「えー!?」長男：「子供にもわかりやすいよ。グー、グー、グー。」 長男の予測は当たりかもな。最近、エドさんの露出がすごいもの。