日々の流転

λ. 極限?

結局、

• 極限(limit) = 逆極限(inverse limit) = 射影極限(projective limit)
• 余極限(colimit) = 順極限(direct limit) = 帰納極限(inductive limit)

って事なのか。limit と inverse limit が同じものを指しているなんて、 なんて酷い名前付けなんだっ(泣)

【2006-04-23追記】檜山さんのグロッサランダム（Glossarandom）でも「75. ‘順極限（帰納的極限）’と‘逆極限（射影的極限）’という言葉がある。圏論的には、逆極限が‘極限’で順極限が‘余極限’、って、どういうことコレ？」と書いてあった。やっぱ、そう思うよなぁ。

λ. On coalgebra based on classes (J. Adámek, S. Milius, J.Velebil)

という論文を向井先生に紹介される。「Don't Be Afraid of Classes 」というフレーズが向井先生の心をとらえたらしい(笑)。それから、こないだメモしてまだ読んでいなかったFinal Coalgebras And a Solution Theorem for Arbitrary Endofunctors と同じ著者だった事に驚く。

λ. ヒキコモリ健康法

タイトルをみて爆笑してしまった。

λ. friday_night

今日もビリヤード。

λ. 夕食

豊田さんと久しぶりに豚菜に行こうかと思ったら、混んでいたので、倉吉でお好み焼き。食べたのは「もちチーズ玉」と「山かけ玉(豚肉のとろろのせ)」。お好み焼きにとろろがこんなに合うなんて知らなかった。