日々の流転

λ. 眠い。

λ. D_∞わからーん

D_∞わからーん。逆極限法(inverse limit construction)わからーん。

λ. 線形の理論

「アイを知らずに一生を終える人が増えるんだねぇ」

高校数学から復複素数がなくなるとかいう話をしていて、田中先生が一言。

λ. Lambek's Lemma

始代数(initial algebra)と終余代数(final coalgebra)の構造射が同型射である事はかなり簡単に証明できるのだけど、これには Lambek's Lemma という大層な名前がついているらしい。

【2006-01-18 追記】 オリジナルは J. Lambek, Subequalizers, Canad. Math. Bull. 13 (1970) 337-349. らしい。

λ. ビリヤード

中村さんと豊田さんに連れられてビリヤードをやった。ビリヤードがこんなに面白いものだとは知らなかった。それにしても、二人ともうまいなぁ。

λ. 夕食

豊田さんとサイゼリア。
ルーコラときのこのピザ, パルマ風スパゲティ

λ. Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors

メモ。

【2006-07-23追記】 久しぶりに読んだらだいぶイメージがわくようになっていた。まだきちんと追いかけることは出来ないけど。