台風一過のこの日(10月30日)、恵まれた天気の中、神奈川県海老名市の温故館を訪れた。温故館の建物は、大正17年に海老名村役場庁舎として建てられたものを、相模国分寺跡後に移築されたものだ(移築は平成22年に始まり完成したのは翌年)。木造建築で、窓枠の…

今日、紹介する映画は、『日の名残り』(The Remains of the day)だ。今年度のノーベル文学賞に輝いたカズオ・イシグロの同名の小説を映画化したものだ。1993年の作品で、アカデミー賞の8部門にノミネートされたが、残念ながら、受賞には至らなかった。ちなみ…

『プログラマのための圏論』は(上・中)の後の部分をまとめ(下)にしてPDFファイルにしました。参考にしてください。なお、(上)のホームページはこちら。 (中)のホームページはこちら。

最後に ノーベル経済学賞を受賞したダニエル・カーネマン教授が一般読者向けに著述した『ファスト＆スロー』を読んだ。本のタイトルからは内容はつかみにくい。副題は「あなたの意志はどのように決まるか？」となっているので、脳科学の本かなと思い違いして…

１３．４ モノイド圏での記述 前回の記事で、二項演算を表すための小さい圏の圏(category of small categories)を次のように表した。 この図において、\(f,g\)や\(M(f),M(g)\)などは小さい圏の圏の構成要素には含まれていないので、これを省略することにしよ…

１３．３ 小さい圏の圏での記述 これまで、算数で最初に学んだ加算・乗算に代表されるモノイドと呼ばれる二項演算を、圏論でどのように記述したらよいのかについて話を進めてきた。即ち、アセンブラ言語でのように処理を具体的に記述するのではなく、高級言…