日々の流転

λ. 久しぶりに学校に。

λ. 春休み中の勉強の途中成果?

「春休み中の勉強の途中成果を披露に来てください」と言われてたのに披露できるレベルに達していなかったので、わりと戦々恐々としてたのだけど、結局は雑談。カテゴリ論以外にも、超集合論とか、国語学とチャネル理論とか興味深い話はあったのだけど、印象に残ったのは「General Abstract Nonsense」とか、数学のプラットフォーム争いとかの与太話だったりする。なんか数学のプラットフォーム争いって、どっかの言語戦争とかエディタ戦争に似てる気が……

直和と直積ってカテゴリ論だと双対的なんだね。すごーい。それから、射が写像でない圏というのも順序関係の圏という例でなるほどと思った。カテゴリは幾つかの見方があるみたいだけど、個人的には代数的な面を中心に見ていきたいかな。

竹内君って誰かと思ったら彼か。イメージが違いすぎて気が付かなかった……

λ. 借りた本

Conceptual Mathematics: A First Introduction to Categories

F. William Lawvere, Stephen H. Schanuel [著]

注文したけどまだ届かないんです、と言ったら貸してくれた

λ. 読書

『サクラ大戦 前夜』

あかほりさとる[著] レッドカンパニー[監修/原案]

λ. Marshalのフォーマットのバージョン

うっかりRuby 1.7のPStoreでファイルを弄ってしまって、そのファイルがRuby 1.6で扱えなくなってしまった。どーしよ。

λ. まだ旧体制下の新聞社と月極契約している人たちへ

.