「層・圏・トポス」勉強会

告知:リベンジ竹内外史 #1

告知:リベンジ竹内外史 #1日程:11月26日 土曜日 時間:13時から18時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:25-501 テキスト 竹内外史 『層・圏・トポス』 の直観論理の章(4章、5章)ザンさんが泣きながら解説をしてくれます。 http://atnd.…

告知:第二回「conceptual mathematics」勉強会

告知:第二回「conceptual mathematics」勉強会 日程:4月2日 土曜日 時間:13時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14-211 テキスト conceptual mathematics session 5-9 articleⅡ 予習してきてください。 教室に直接来てく…

告知:第三十四回「層・圏・トポス 現代的集合像を求めて」勉強会

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

告知:第三十三回「層・圏・トポス 現代的集合像を求めて」勉強会

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

圏論の本のおすすめ

良いよと薦められた圏論の本 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…

告知:第三十二回「層・圏・トポス 現代的集合像を求めて」勉強会

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

告知:第三十一回「層・圏・トポス 現代的集合像を求めて」勉強会

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

告知:第三十回「層・圏・トポス 現代的集合像を求めて」勉強会

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

モナド納涼会参加募集 8月21日(土)20:30開始@渋谷

層圏トポス勉強会も一区切りがついたので飲み会をします。今回は飲み会だけです。参加者募集します。モナド納涼会 : ATND ビアガーデンでモナドについて語りませんか? CLTT勉強会と層圏トポス勉強会の合同飲み会です。 圏論、モナドに興味ある方は是非参加…

告知:第二十九回「層・圏・トポス 現代的集合像を求めて」勉強会

告知:第二十九回「層・圏・トポス 現代的集合像を求めて」勉強会 トポス九回目 日程:7月17日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:25ー501 テキスト 竹内外史 「層・圏・トポス—現代的集合像を求めて」 p118 第…

告知:第二十八回「層・圏・トポス 現代的集合像を求めて」勉強会

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

告知:第二十七回「層・圏・トポス 現代的集合像を求めて」勉強会

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

告知:第二十六回「層・圏・トポス 現代的集合像を求めて」勉強会

告知:第二十六回「層・圏・トポス 現代的集合像を求めて」勉強会 トポス六回目 日程:5月22日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14ー211 テキスト 竹内外史 「層・圏・トポス—現代的集合像を求めて」 p110 第…

告知:第二十五回「層・圏・トポス 現代的集合像を求めて」勉強会

告知:第二十五回「層・圏・トポス 現代的集合像を求めて」勉強会 トポス五回目 日程:5月8日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14ー211 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p108 第三…

告知:第二十四回「層・圏・トポス  現代的集合像を求めて」勉強会

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

第二回層圏トポス合宿 (8月9日-10日)@代々木オリンピックセンター

場所の確保に失敗したのでとりあえず中止です。第二回層圏トポス合宿 (8月9日-10日)@代々木オリンピックセンター今年もやっちゃおうかと思います。 第二回層圏トポス合宿(8月9日-10日)@代々木オリンピックセンター日程 2010/8/9(月)18:00-8/10(火)22:00場所 …

けんろん!

Takayuki Kihara (@tri_iro) | Twitterさんの発言 けんろん!:圏論部に入部した女子高生4人組+αの日常を描いた作品圏論、Haskell、あるいは圏論部。 - Togetter女子高生でも高校生でもないかたは、 層圏トポス勉強会へ http://groups.google.co.jp/group/sh…

告知:第二十三回「層・圏・トポス  現代的集合像を求めて」勉強会

新規参加者熱烈歓迎!! 圏の世界へようこそ!! 層がわからなくても大丈夫。 圏がわからなくても大丈夫。新規参加者が出た場合、「トポス浅漬」を行ってトポスを理解するのに必要な圏の知識を確認します。参加申し込みは、ここのコメント欄か、メーリングリス…

層圏トポス新規参加者募集

層圏トポス勉強会では新規参加者を募集してます。で、広告を載せる計画が進行中です。メーリングリストに投稿した内容を以下にコピペです。 http://groups.google.co.jp/group/sheaf-category-and-topos 広告の件について昨日、お酒を飲みながら話し合った内…

告知:第二十二回「層・圏・トポス  現代的集合像を求めて」勉強会

新規参加者熱烈歓迎!!層がわからなくても大丈夫。 圏がわからなくても大丈夫。今回も「トポス浅漬」を行って、トポスを理解するのに必要な圏の知識を確認します。参加申し込みは、ここのコメント欄か、メーリングリストにメッセージを投稿してください。 htt…

告知:第二十一回「層・圏・トポス  現代的集合像を求めて」勉強会

新規参加者熱烈歓迎!! いよいよトポスになります。これを機会に新規参加者を募集します。 層がわからなくても大丈夫。 圏がわからなくても大丈夫。今回は「トポス浅漬」を行って、トポスを理解するのに必要な圏の知識を確認します。参加申し込みは、ここのコ…

告知:第二十回「層・圏・トポス  現代的集合像を求めて」勉強会

日程:2月20日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:24棟419番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p34 第一章 層の章 教室に直接来て下さい。 部屋が違います。

告知:第十九回「層・圏・トポス  現代的集合像を求めて」勉強会

告知:第十九回「層・圏・トポス 現代的集合像を求めて」勉強会 日程:2月13日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14棟211番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p27 第一章 層の章…

告知:第十八回「層・圏・トポス 現代的集合像を求めて」勉強会

日程:1月23日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p23 第一章 層の章教室に直接来て下さい。

告知:第十七回「層・圏・トポス  現代的集合像を求めて」勉強会

日程:1月9日 土曜日 時間:12時から20時 待ち合わせ場所:日吉駅 11時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟208番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p22 第一章 層の章

告知:第十六回「層・圏・トポス  現代的集合像を求めて」勉強会

日程:12月26日 土曜日 時間:12時から20時 待ち合わせ場所:日吉駅 11時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟208番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p21 第一章 層の章

報告:第十五回「層・圏・トポス  現代的集合像を求めて」勉強会

今回は諸事情により4人でした。 今回もozekiさんが予習をしてきてくれたおかげでスムーズに勉強会を進めることができました。p16の層の第一定義 すべてのAの部分集合Fが Fの任意の二元f_1,f_2が必ず両立している。 という条件を満たしている時に、次の条件を…

告知:第十五回「層・圏・トポス  現代的集合像を求めて」勉強会

日程:12月12日 土曜日 時間:12時から20時 待ち合わせ場所:日吉駅 11時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟208番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p19 第一章 層の章

報告:第十四回「層・圏・トポス  現代的集合像を求めて」勉強会

今回は12時から5時までやりました。参加者は7人でした。復習がメインだったのと時間が短かったので、新しいところは2ページぐらいでしょうか。もう少し進捗速度をあげたいのと思いますが、そうはいってもなるようにしかなりませんね。」otoさん 第14回 層・…

告知:第十四回「層・圏・トポス  現代的集合像を求めて」勉強会

日程:11月28日 土曜日 時間:12時から17時 待ち合わせ場所:日吉駅 11時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟208番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p17 第一章 層の章