圏論, 「層・圏・トポス」勉強会 | | 
第一回層圏トポス合宿(8月11日-12日)@代々木オリンピックセンター
をやります。合宿では主に復習にして、参加できない人に配慮するとともに新規参加者を迎える場所にしたいと思います。
第一回層圏トポス合宿(8月11日-12日)@代々木オリンピックセンター
こんにちは、圏論に興味ありませんか？圏論は、プログラム言語の背景として使われたり数理物理で操作を考察するための道具として使われたりしている数学です。
圏論は異なる現象から共通する数学的構造を抽出します。圏論を理解するとロジック、コンピューターサイエンス、物理のつながりが見えてきます。
層圏トポス勉強会では、第二第四土曜日(12:00-19:00)に慶應大学矢上キャンパスにて竹内外史の「層・圏・トポス」を読み進める勉強会を行っています。参加者は14人です。
今回、8月11日-12日に代々木オリンピックセンターで復習のため合宿を行うことにしました。圏の定義からその適用まで一通り勉強します。圏論が初めての方にも分かりやすく説明します。一緒に圏論を勉強しませんか？
第一回層圏トポス合宿
日程 2009/8/11(火)18:00-8/12(水)22:00
場所 代々木オリンピックセンター
費用 宿泊あり(個室) 3000円 宿泊なし1000円
内容 層・圏・トポス 竹内外史 圏の章 p45-p91
1.圏の定義 2.関手 3.limitとcolimit 4.米田のレンマ
5.随伴関手 6.巾および開集合の圏
スケジュール
11日 夜間 18:00〜22:00
12日 午前 8:30〜12:00 午後 13:00〜17:00 夜間 18:00〜22:00
初心者新規参加者熱烈歓迎!!
部屋 センター棟 108号室 (40人部屋 パソコン対応)
http://nyc.niye.go.jp/facilities/d6-1-8.html
宿泊 個室 D棟 15人
http://nyc.niye.go.jp/facilities/d6-8.html
申込締切 7/25日24時まで
申込連絡 慶應大学物理学専修 D2 深川宏樹 hiro.k.f{あっとv(^^)}ヂーメール.com
google group 『層・圏・トポス』読者の会
http://groups.google.co.jp/group/sheaf-category-and-topos
第一回層圏トポス合宿記念オリジナルＴシャツ
販売価格 ￥1,300(税込み)
今のところの合宿参加予定者
一日目
18:00 hiroki_f ckuwata pokarim ymsw hajimehoshi ranha momiyama
tanaka sugiyama ozeki
途中参加 oto bonotake m-hiyama
二日目から
hiratara
参加するかも
[1..100]>>=pen
今後の予定
第5回 7/11(土) 慶大矢上 12棟209番教室 12:00-19:00
第6回 7/25(土) 慶大矢上 12:00-19:00
第一回層圏トポス合宿@代々木オリンピックセンター 8/11(火)13:00-8/12(水)22:00
第7回 8/22(土) 慶大矢上 12:00-19:00
>bonotakeさん
もちろんOKです。
合宿に途中から参加する人でも支障がない内容(圏の例でひたすら遊ぶとか)にしたいと思います。
最終的にいつまでに表明せよっていう締切ってありますか？
締め切りは7月12日にしたいと思います。参加お待ちしています。
今のところ、フルでの参加を考えてます。
メアド変えました。
zoofang.u.1ie{あっとv(^^)}ヂーメール.com
です。