なんとなくメモAn Applicative is a Monoid in the category of endofunctors, what's the problem?monadとかapplicativeとか、めっちゃ役にたつのってなんでだろうと考えてみた。ようは、関数fとかgとかがあって、それを合成して何かプログラムができたとし…

長く続いた層圏トポスも次回で最終回です。次に読む本を「conceptual mathematics」 http://books.google.co.jp/books?id=o1tHw4W5MZQC (第二版が最近出たので、そちらのほうを買ってください。) にしようかと思っています。この本を選んだ理由は、初心者向…

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

京都の研究集会 「オイラー方程式の数理: 力学と変分原理250年」＠京都大 部屋：420 期間：2010-07-12〜2010-07-14 ＲＩＭＳ共同研究「オイラー方程式の数理：力学と変分原理250年」 はなかなか刺激的な会だった。今回は自分も発表させてもらったのだが、そ…

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

告知：第十回「層・圏・トポス 現代的集合像を求めて」勉強会日程が10月4日13時開始に変更されました。 日程:10月4日 日曜日 時間:13時から20時 待ち合わせ場所:日吉駅 12時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教室 テキス…

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

2009年9月12日(土)に第九回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計5人で13時から20時まで行いました。告知：第九回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記p83~p88随伴が終わり、巾に入りました。後一回や…

告知：第九回「層・圏・トポス 現代的集合像を求めて」勉強会サマータイムで開始時間は1時間遅れて13時からです。 日程:9月12日 土曜日 時間:13時から20時 待ち合わせ場所:日吉駅 12時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教…

hitomiさん情報で Conceptual Mathematics: A First Introduction to Categoriesの第二版がでると聞いたので買ってみた。 hitomiさん曰く高校生でも読めるとのこと。層圏トポス勉強会でだいぶ圏論のことが分かるようになったけど、圏論の適用例がいろいろと…

2009年8月22日(土)に第八回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計8人で13時から20時まで行いました。(巡回にきた警備員がいつ終わるのですかと聞いてきました。)告知：第八回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiro…

特殊相対論では、ある慣性系から別の慣性系への座標変換はローレンツ変換で与えられ、 次元が二次元(t,x)の場合は、 となる。四元速度をuとすると、四元速度の合成は、 となる。通常の速度は、で与えられる。速度の関係は、0≦θ 0-θ→v-θ'→v'‥‥ ||壁 光速 c=1 …

8月11日-12日＠代々木オリンピックセンターで 第一回層圏トポス合宿 告知：第一回層圏トポス合宿 - hiroki_fの日記 を行います。当日参加は可能です。宿泊の人は歯ブラシやタオルなどのアメニティを持参してください。

告知：カフェ・ミヤマ渋谷のパスタを食べてみる会 - 檜山正幸のキマイラ飼育記副作用の話が面白かった。量子系と古典系って(計算)と(状態)の関係にあるんじゃないかと夢想してみたり。パスタをまた食べたいです。

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

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

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

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

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

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

第一回層圏トポス合宿(8月11日-12日)@代々木オリンピックセンター をやります。合宿では主に復習にして、参加できない人に配慮するとともに新規参加者を迎える場所にしたいと思います。 第一回層圏トポス合宿(8月11日-12日)@代々木オリンピックセンター こん…

2009年6月27日(土)に第四回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計9人で12時から19時20分まで行いました。今回は米田のレンマ復習が中心でした。 p69からp75までリンク hirataraさん 2009-06-29 第四回「層・圏・トポス 現代的集合…

前回より開始時間が一時間早まってます。また部屋が変わっています。 日程:6月27日 土曜日 時間:12時から19時 待ち合わせ場所:日吉駅 11時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教室 テキスト 竹内外史 「層・圏・トポス―現代…

2009年6月13日(土)に第三回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。新たに3名の参加者を加え計14人で13時から19時半まで行いました。hirataraさんが層圏トポスのメーリングリストを作ってくれましたので、この勉強会に参加の方、もしく…

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

日程:6月13日 土曜日 時間:13時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 12棟208番教室 アクセス:矢上キャンパスセキリュティの関係で遅れてきた場合、部屋に入ることができません。 遅れそうな人は(hiro.k.f{あっとv(^^)}ヂーメール.com)…

新たに参加者を2名迎えて、5月24日慶應大学矢上キャンパスで13時から20時まで11名で勉強会をしました。 告知：第二回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記遅れてきた人が警備員につかまたっり、追い返されるなどのトラブルがあり…

モニャドセミナー2の資料やら補足やらナニヤラ - 檜山正幸のキマイラ飼育記圏の例をいっぱい見てきた。 http://www.chimaira.org/archive/slide090521-6s.pdfリダイレクトの警告 2009-05-21 - melpon日記 - HaskellもC++もまともに扱えないへたれのページ最…

日程:5月24日 日曜日 時間:13時から20時 場所:慶應大学矢上キャンパス創想館6F(日吉駅から徒歩7分) アクセス:矢上キャンパスセキリュティの関係で遅れてきた場合、部屋に入ることができません。 遅れそうな人は(hiro.k.f{あっとv(^^)}ヂーメール.com)に予め…

5月9日にやりました。 告知：第一回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記11名の参加者がいて、1時半から8時過ぎまでみっちり読書しました。圏の章のp45からp55まで読みました。その後に、参加者8人で食事にいったのですけど、な…