Chapter 2の演習が一通りできたのは良かった。 参加者の皆様に感謝。http://www.slideshare.net/kencoba/awodeytokyo-20110521 iPod touchだと画像が荒い。次回は6/18 13:00-19:00 新宿三井ビル 34Fの予定。

Prelude なにげにClojureのお話 Awodey 2.8 Exercises 2.8.1 背理法を使わないで証明する方法はないか。 コンセプタンでoto_oto_otoさんが、背理法以外の証明法を紹介していました。 http://d.hatena.ne.jp/oto-oto-oto/20110406/1302109498 http://d.hatena…

AwodeyのP33にProjective Objectのお話が載っているのですが。Alloyで書くとこういうことなのかな。 https://gist.github.com/967745たけをさんから以下のような例をいただいた。 open util/relation sig P { f : one X } sig E { e : one X } sig X {} fun …

http://atnd.org/events/15236てわけで、5/21 13:00-19:00開催です。 2章章末の演習からスタート。演習の理解を助ける資料調査とかしてくると、楽しめると思います。

http://www.slideshare.net/kencoba/awodeytokyo-20110416デジカメの画像を貼っただけですが。 次回は2.8 Exercisesから。 やってみて改めて、圏論以前の数学が分かっていない自分に気づく。 posetとかそのレベルで分かってなさすぎ。 とか思ってたら、こん…

後で読む、というか勉強会で紹介する。 http://patternsinfp.wordpress.com/http://lambda-the-ultimate.org/node/4256 これによると、Jeremy Gibbonsさんは本を書いているらしいなぁ。

日時:4/16 13:00 - 19:00 会場:新宿三井ビル34F 範囲:2章あたりから http://atnd.org/events/14721章末演習で解答がないものについて、一通り解答をまとめた資料を作りたいと思っている。

TAPL読書会参加者のおかげで、P126のExercise1の言わんとしていることがようやく分かった。 tmiyaさんのおっしゃる通り、これに先立つBrouwer Theoremでは、円Cを円盤Dの円周に対応付けることが明記されている(P123)。P125の図において、円盤内でf(x)からxへ…

Conceptual Mathematicsのように絵入りの例がないと理解できない私は 熟読開始して3日間、9時間で現在67ページまで読みました。他に絵入りの資料でイメージを掴めそうなものとしては、 http://ls.poly.edu/~jbain/Cat/index.htm こんなものも良さそう。http:…

Category Theoryの導入的な文書をいくつか。そもそも書籍を読む前にこういうのを眺めておけばいいんじゃないかという。 A Gentle Introduction to Category Theory http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.pdf An introduction to Category Theory f…

AwodeyのSecond Editionで、本家のerattaに記述されていない (ささいな)誤字脱字と思われるものを見つけました。 私の思い違いじゃないかどうか見てみてくださいな。 P17 L6 "sets and fuctions." -> "sets and functions." P67 L-3 "parallel pair of funct…