「層・圏・トポス」勉強会
告知：リベンジ竹内外史 #1日程:11月26日 土曜日 時間:13時から18時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:25-501 テキスト 竹内外史 『層・圏・トポス』 の直観論理の章（4章、5章）ザンさんが泣きながら解説をしてくれます。 http://atnd.…
告知：第二回「conceptual mathematics」勉強会 日程:4月2日 土曜日 時間:13時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:１４-２１１ テキスト conceptual mathematics session 5-9 articleⅡ 予習してきてください。 教室に直接来てく…
告知：第三十四回「層・圏・トポス 現代的集合像を求めて」勉強会日程:２月１２日 土曜日 時間: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…
告知：第三十二回「層・圏・トポス 現代的集合像を求めて」勉強会日程:1１月27日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14-211 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 第四章 p172から 高階…
告知：第三十一回「層・圏・トポス 現代的集合像を求めて」勉強会日程:10月9日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14-211 テキスト 竹内外史 「層・圏・トポス—現代的集合像を求めて」 第四章 直観論理 p160か…
告知：第三十回「層・圏・トポス 現代的集合像を求めて」勉強会日程:9月11日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14ー211 テキスト 竹内外史 「層・圏・トポス—現代的集合像を求めて」 第四章 直観論理 教室に直…
層圏トポス勉強会も一区切りがついたので飲み会をします。今回は飲み会だけです。参加者募集します。モナド納涼会 : 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日)@代々木オリンピックセンター日程 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 第一章 層の章
