2003-07-04 [長年日記]
λ. 極限?
結局、
- 極限(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
今日もビリヤード。
λ. 夕食
豊田さんと久しぶりに豚菜に行こうかと思ったら、混んでいたので、倉吉でお好み焼き。食べたのは「もちチーズ玉」と「山かけ玉(豚肉のとろろのせ)」。お好み焼きにとろろがこんなに合うなんて知らなかった。
そういわれれば。今まで疑問に思わなかった自分が疑問だ。(^^;