定義は、そこから導かれる性質が全てわかったとき、もはや忘れてよい。 何故なら定義を必要とする推論は全て導かれた性質のみから導けるから。 だから重要なのは定義じゃなくて普遍性なのだと。 多分。

あるサークル内wikiに書いた「週刊『概念』」の1記事を持ってきました。自由の概念は誰もがよく使っているのできっと意義があるとおもいます。 前半数学寄り、後半プログラマ寄りの内容です。 圏論という分野において、「自由」という概念があります。これは…