告知：第一回層圏トポス米田フェスティバル@矢上祭

「第一回層圏トポス米田フェスティバル@矢上祭」
開催が決定しました。

第一回層圏トポス米田フェスティバル(10月10日)@矢上祭
をやります。祭りでは主に復習にして、参加できない人に配慮するとともに新規参加者を迎える場所にしたいと思います。

第一回層圏トポス米田フェスティバル(10月10日)@矢上祭

こんにちは、圏論に興味ありませんか？圏論は、プログラム言語の背景として使われたり数理物理で操作を考察するための道具として使われたりしている数学です。
圏論は異なる現象から共通する数学的構造を抽出します。圏論を理解するとロジック、コンピューターサイエンス、物理のつながりが見えてきます。

層圏トポス勉強会では、第二第四土曜日(12:00-19:00)に慶應大学矢上キャンパスにて竹内外史の「層・圏・トポス」を読み進める勉強会を行っています。

本フェスティバルは、朝から夜まで米田のレンマをやる一日限りのイベントです。楽しい矢上祭(10月10日)が開かれる中、ストイックに米田について語りあいましょう。層圏トポス合宿告知：第一回層圏トポス合宿 - hiroki_fの日記の続きをやります。初めての方がいらっしゃる場合には、圏の定義から分かりやすく説明します。一緒に圏論を勉強しませんか？

第一回層圏トポス米田フェスティバル
日程　2009/10/10(土)10:00-22:00
場所　慶応大学矢上キャンパス(日吉駅から徒歩10分)
待ち合わせ場所:日吉駅　9時40分
費用　無料(フリードリンク、お菓子あり)
内容　層・圏・トポス　竹内外史　圏の章　p69-p91
4.米田のレンマ　5.随伴関手　6.巾および開集合の圏

初心者新規参加者熱烈歓迎!!

部屋　25-601

申込締切　10/4　24時まで
申込連絡　慶應大学物理学専修　D2　深川宏樹　hiro.k.f{あっとv(^^)}ヂーメール.com
google group　『層・圏・トポス』読者の会
http://groups.google.co.jp/group/sheaf-category-and-topos

第二回の層圏トポス合宿は、2010/8/12(木)-13(金)@代々木オリンピックセンターで予定していますv(^^)