長く続いた層圏トポスも次回で最終回です。次に読む本を「conceptual mathematics」 http://books.google.co.jp/books?id=o1tHw4W5MZQC (第二版が最近出たので、そちらのほうを買ってください。) にしようかと思っています。この本を選んだ理由は、初心者向…

告知：第三十四回「層・圏・トポス 現代的集合像を求めて」勉強会日程:２月１２日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:場所変更 25-501 暖房がききにくい部屋なので、温かい服装できてください。 テキスト 竹内…

告知：第三十三回「層・圏・トポス 現代的集合像を求めて」勉強会日程:1月29日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14-211 テキスト 竹内外史 「層・圏・トポス—現代的集合像を求めて」 第四章 p176から 高階直…

熱力学とは正月に実家に帰った時に親に質問された。「エネルギーEとエントロピーSは何が違うのか。」 この質問はこう言い換えても良い。「エネルギーEと温度Tは何が違うのか。」これは僕が小学生の時に抱いた疑問でもある。温度Tが高いと物体のもつ内部エネ…

良いよと薦められた圏論の本 Introduction to Higher-Order Categorical Logic:J. Lambek, P. J. Scott Categorical Logic and Type Theory:B. Jacobs Category Theory:Steve Awodey Conceptual Mathematics: F. William Lawvere, Stephen H. Schanuel Handb…