日々の流転

λ. 親父と弟と「少林サッカー」を見てきた。

λ. マイク・タイソンの負けらしい。あーあ。

λ. 修理に出していたプリンタが直って返ってきた。¥2000

λ. 可換性と結合律

「可換性が成り立たない世界は極めて制御するのが難しくどんな場所へ行くのか わからないミステリーゾーンのようなもの」という人もいるけど、結合律が成り立たない世界よりはずっとましだよなー、と思った。

λ. 読書

『彼氏彼女の事情』13巻

津田雅美[著]

λ. T-algebras

僕も良く知っているわけではないけど、T-algebra は endofunctor T について f: T(A)→A である(A,f)ですよね。Tがmonadでなくてはいけないという制約を入れることもあるらしいのだけど、その辺は全然知らなかったり。

例によって双対があって、f: A→T(A) である(A,f)がT-coalgebra。さらに、T-algebraとT-coalgebraを一般化したのがF,G-dialgebraで、これは functor F: C→D, G: C→D について、f: F(X)→G(X) となる(X,f)。

金曜の「product functor Id×Id」は間違いだったので、訂正。

λ. Categories for the Working Mathematician

圏論といえば、Categories for the Working Mathematician は、例や問題が数学的すぎて、数学の基礎をやってない僕のような人間にはかなり厳しい感じ。このまま続けるのも辛いので、素直に撤退しようかな……