今から。気が重い。

ちょっと前に行った飲み屋のお通しで、トリュフチョコが出た。 初めて食べたがかなりおいしかったので銘柄を聞いてみたら、スーパーで買った普通のやつだそうだ。 トリュフチョコってのは普通のでもそんなにおいしいのかと思って買ってみた。そのうち食べる。…

ちゃんとした酒を久しぶりに買った。高い。いつ空けるかな。

というのを初めてしてもらった。劇的に体が軽くなったとかはないが、確かに気持ちいい。 内ももが張ってて、内臓が弱ってるかもとか言われたが、ホンマかいな。

親の名前で検索したら、写真つきでヒットした。実家の写真も。怖い怖い。

洗濯のみ。

随伴もあまりピンと来ない概念だけど、よく見る Hom(X×A, Y) ⇔ Hom(X, Y^A)って例は、よく見ればカリー化/逆カリー化そのものだった。へー。

オート三輪が走っているところにたまに遭遇する 給食に鯨肉 テレビのチャンネルは、ひねるもの テレビの上にペラペラのアンテナが乗っている。

立っていたビットがすべて倒れ、新しいビットが立った。

林晋つながりでhttp://www.shayashi.jp/HistorySociology/IAmHistorian.htmlというのを見つけたので読んだ。これがかなり面白かったので、ゲーデル 不完全性定理 (岩波文庫)を買って読んでみた*1。 これがめっぽう面白い。論文の翻訳以外の歴史解説と論文解…

2月の檜山セミナーの懇親会で、ここらへんにいる人たちは何をきっかけに圏論とかに興味を持つようになったのだろうという話が出た。 なので、思い出話をすこし。 初めて圏論を知ったのは、数学セミナー1994年5月号の「代数学の0時限」という特集だと思う。な…

23日に開催されたモニャドセミナーに行ってきた。 しりとり圏 直積が定義できるかちょっと考えてみて、できそうにないなと思っておしまい。懇親会で檜山さんに質問したら無理やりくっつけるとかはできるけどそのままじゃ無理とのことで納得。 あいうえおしり…

しりとり圏の初出の時に読んで理解したと思っていたけど、自分で書いてみると発見があるもんですね。 不十分な点は、合成した射がいつ等しくなるかということについて何も決めていないところ。 檜山さんのしりとり圏では、「射は文字列」としているので、射…

しりとりの圏を書くのが流行っているようなので、便乗。どこが不十分かはここで。 できるだけ省略したくないので、文字はあ行に限定。あいうえおしりとりの圏。 定義 対象: あ行の各文字 (「あ行の各文字の集合」、「あ行」ではない) 射: まず、 恒等射 id(…