近くの学術書扱ってる本屋ぶらついてたら、Categories for the Working Mathematician (Graduate Texts in Mathematics) を発見。しかも３冊（！） おー、と思いつつ手にとって見ていたら、後ろから「いい本だね。私も持っている。ちょっと内容が抽象的だけ…

月曜から疲れてぐったり感のある今日この頃です。天竺の生活は楽しいですが、疲れるものは疲れます。 でそんなさなか、異様に盛り上がってますが、今更釣られてみるテスト。 「少し疲れているから休みを取って体を休ませます」と言って仕事を休む人を見かけ…

適当な圏の中の適当な対象Xに対して、X→X みたいに、domainとcodomainが同じものを endomorphism といいます。これの関手版が endofunctor で、適当な圏 C に対して C → C と同じ圏への変換をかます関手を endofunctor と呼びます。モナドは常に endofunctor…

自分はこの手のコンテストが苦手なので、参加せずにscoreboard眺めつつ仕事してるんですけども。 たった今、kuma--が上位に食い込みましたね！ あとの人もがんばれー…ってそか、日本時間だともう日曜終わっちゃったのか。 月曜もがんばれー（←無責任）

ということで、独立記念日です。

2007-7-8(日)(10:00-17:00) 東京都 (びぎねっと トレーニングルーム) テキスト："Categories, Types and Structures" Section 2.3 (p.15) より 交通アクセス: http://begi.net/modules/xfsection/article.php?articleid=1 出られるかなぁ。

前回の圏論勉強会で出た話の備忘録。今やってるテキストに、"Cartesian category"（カルテシアン圏?とかデカルト圏とか。以下CC）なるものが出てきます。これは、λ計算が成すような Cartesian closed category （カルテシアン閉圏とかデカルト閉圏とか。以下…