1,320円 20枚までの限定販売

告知：「技術者／プログラマのためのモナドと圏論」セミナー（モニャドセミナー） 第4回（シリーズ最終回） - 檜山正幸のキマイラ飼育記双対の話が面白かった。何々の圏で見たときの双対が、何々に対応する分かりやすい何かではないよ。って話が面白かった。…

2009年6月27日(土)に第六回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計6人で12時から18時40分まで行いました。今回は随伴関手と普遍射でした。p78からp80までリンクhirataraさん 第六回「層・圏・トポス 現代的集合像を求めて」勉強会 -…

日程:7月25日 土曜日時間:12時から19時待ち合わせ場所:日吉駅 11時40分場所:慶應大学矢上キャンパス(日吉駅から徒歩7分)部屋:12棟209番教室テキスト竹内外史 「層・圏・トポス―現代的集合像を求めて」p79 第二章 圏の章 関手 随伴関手 新規参加者はhiro.k.f{…

Topologyをどういう風に取り入れるのかと楽しみにしていた。 Topologyといっても、anyonのflipを紐の交差であらわしたり、∪を生成、∩を消滅としたり素朴な描象だった。 講師: Giacomo Marmorini（慶應義塾大学日吉物理学教室） 題目: 「Invitation to topolo…

2009年7月11日(土)に第四回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計9人で12時から19時まで行いました。今回は随伴までした。随伴は物理では量子力学に出てくるのですが、圏論の立場から見ると随伴という概念がまた違ったものに見えま…

記念Tシャツ作ることにしました。(第一案です。)第一回層圏トポス合宿記念オリジナルＴシャツ 販売価格 ￥1,300(税込み)

最近、Haskellを勉強してみようかと思うときがある。関数型言語はこれが味噌なんだろう。白石さんを問い詰める会で聞いたことと、ヒヤマセミナースノーグローブとゲーデルとマトリックス - hiroki_fの日記で聞いたことのつながりが見えてきた。 なぜ関数プロ…

Workshop on Quantum Foundations for Young Researchers - From Mathematical Physics to Experimental Physics - に行ってきた。面白かった。人が集まる場所で議論をすると理解が早く進む。ボブクックのkindergaden quantum mechanicsの論文を知っている人…

日程:7月11日 土曜日 時間:12時から19時 待ち合わせ場所:日吉駅 11時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p75 第二章 圏の章 関手 随伴関手から 新規参加者…