hitomiさん情報で Conceptual Mathematics: A First Introduction to Categoriesの第二版がでると聞いたので買ってみた。 hitomiさん曰く高校生でも読めるとのこと。層圏トポス勉強会でだいぶ圏論のことが分かるようになったけど、圏論の適用例がいろいろと…

2009年8月22日(土)に第八回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計8人で13時から20時まで行いました。(巡回にきた警備員がいつ終わるのですかと聞いてきました。)告知：第八回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiro…

学部一年くらいでならう力学だと 初期条件が与えられて、状態の発展は運動方程式に従う。つまり、現在の状態を決めてるのはそれ以前に与えた条件となる。ところが解析力学によると、初期と終端で与えた条件によりその間の状態が決まる。つまり、変分原理によ…

集金 33200 (宿泊 3000×9 当日参加 1000×6 ギリギリ参加 100×2) 出費 26653 (施設費用23350 お茶代 3303) 収支 6547次回に還元します。 一人当たり6347/15=423円とりすぎたみたいです。言い訳としては 1 当日参加が何人くるか分からなかった。(人数は少なく…

特殊相対論では、ある慣性系から別の慣性系への座標変換はローレンツ変換で与えられ、 次元が二次元(t,x)の場合は、 となる。四元速度をuとすると、四元速度の合成は、 となる。通常の速度は、で与えられる。速度の関係は、0≦θ 0-θ→v-θ'→v'‥‥ ||壁 光速 c=1 …

サマータイムで開始時間は1時間遅れて13時からです。 日程:8月22日 土曜日時間:13時から20時待ち合わせ場所:日吉駅 12時40分場所:慶應大学矢上キャンパス(日吉駅から徒歩7分)部屋:12棟209番教室テキスト竹内外史 「層・圏・トポス―現代的集合像を求めて」p81…

告知：第一回層圏トポス合宿 - hiroki_fの日記 を11-12日@代々木オリンピックセンターで行いました。参加者は17人(宿泊9人)でした。1.圏の定義 2.関手 3.limitとcolimit までやりました。一日目の飲み会は深夜一時まで、次の日は朝9時スタートでした。kuwata…

8月11日-12日＠代々木オリンピックセンターで 第一回層圏トポス合宿 告知：第一回層圏トポス合宿 - hiroki_fの日記 を行います。当日参加は可能です。宿泊の人は歯ブラシやタオルなどのアメニティを持参してください。

告知：カフェ・ミヤマ渋谷のパスタを食べてみる会 - 檜山正幸のキマイラ飼育記副作用の話が面白かった。量子系と古典系って(計算)と(状態)の関係にあるんじゃないかと夢想してみたり。パスタをまた食べたいです。

東工大のワークショップWorkshop on Quantum Foundations for Young Researchers - hiroki_fの日記で 僕:明日、層圏トポスだから、講演聞けないんだよね。前々から興味あるんだけど、研究内容教えてよ。 沙川氏:いいよ。慶應まで行くよ。 僕:まじで？ありが…