では、命題9.16を詳細に見ていく。まず、任意のに対して、関手の自然同型の構成の復習から。自然同型であること示すのには、補題7.11から各々の対象上で同型であることを示せばよいので、となっているかが問題となる。 添え字圏は命題8.10で構成されており、…

さて、本節開始直後に なる随伴の系列が紹介されているが、実際のところV,F,Rについては本書では何も（定義すら）述べられていないようだ。いろいろ調べたところ、その答えはMac Lane本の4章2節の練習問題の中にあった。 :Setsの対象（集合）に対して、その…

前半はあまりコメントするところがないが、p.250の最後の"栞"はなんのこっちゃであって、ここでいう"bookkeeping"とは、全称化の規則で（次の図式はただの推論の図）、"ただしは自由変数記号でには現れないものとする。"というこの”ただし”以下の付帯条件を…

念のため、前順序と半順序の違いは、半順序では、反対称律（ かつ ならば ）が成立している点である。ということは、前順序では順序関係がループになっているケースも許しているわけである。ちなみにテキストの骨格的（skeletal）とは、圏論用語では対象間の…

例9.8の『左随伴は何であろうか？』に答えてみる。 から、問題となる図式はとなるが、下はしか射が無いので、対応する上の射も一つしかない。つまり、がの始対象である。答えは、の始対象となる。その後の『この最後の例は次の一般的な事実の明白な事例であ…

さて、命題9.4である。まず注意として、原文でも似たような書き方なので罪は同じだが、条件2から条件1を言う時に、条件2の中に直接のデータとしてはは与えられておらず、すぐ下のをの定義として、これが自然変換であることを示す必要がある。それゆえp.240終…

ずいぶん放置していたが、リアルのお仕事が結構忙しかったのである。しかし、9章は『本書の見せ場』と著者自ら書いているところなので、こちらも書かずにはおられない。9.1節は随伴の導入という位置づけらしく、次節の定義9.6(p.242)で正式な定義がなされる…

結構早い時期に途中まで記事を書いて放置して、もうとっくにGWも終わってしまった。ゆるゆるにもほどがあるが、いつもはこんなペースである。 さて、ついにトポスの登場である。といってもちょろっと紹介されているだけではある。参考文献にトポスのバイブル…

今回はなかなか手強かったが、ゆるゆると行きたい。 命題8.7について少々コメントを。極限の存在をいきなり仮定して計算するとこうなるので定義はこうする（8.4）とよいというのは発見法的でアリなのだが、そこで証明が終わってしてしまうのでなんだか気持ち…

8.1節の後半は代数的位相幾何学からの例だが、p.211のダイヤグラムはSimplicial Complexの説明である．圏の定義は7章のどこにあったかよくわからないが、8章末の問題4に『は有限順序数とその間の順序を保つ写像』とあるのでこれを採用すればよい．一番目の図…

p.201の真ん中あたりの依存型理論について少々．一つの例をあげると、型INTの整数nに対してそのn次元整数ベクトル（配列）を返す関数vを考えてみる．引数に対応して値域の型がになっているので、vの型はどうしたもんかということになる．Xを型INTとして、Aの…

いきなりCatの余積で詰まった．積の定義はp.47にあるのだが、余積の定義は本書には見あたらないのだ．しかし、考えるとSetsと同じDisjoint Unionでいいようである．さっそくp.168の反例にあたってみる．C+CのオブジェクトはCのオブジェクトを直和成分のどち…

直観主義命題計算と型付きラムダ計算がCurry-Howard対応で同型になるということは計算機の世界ではよく知られているらしいが、命題6.14では直観主義命題計算にはハイティング代数、命題6.17ではラムダ計算にはデカルト閉圏に対して完全性定理が述べられてお…

怒涛のように論理学関連からの例が出てくるが、6.4の随意(entailments) について一言. これはモデル理論の概念で『ある解釈Mがpを真にするならば、qも真にする』という意味である. はどんな解釈でも真にならない命題、はどんな解釈でも真になる命題の意味で…

本書も半分ぐらいに差し掛かってきて、難しくなってきた."証明は読者への練習問題とする"という言い回しも増えてきたような気がするが、trivialなものを除き入門書ではせめて章末の練習問題にして、略解でも載せて欲しいと思う...間違った理解のまま先に進ん…

5章は極限と逆極限である。これまで出てきたもろもろの構成が、極限と余極限で統一される...ということだが、あまり感動はなかった...（あくまで個人の感想です）...本書で最初に知ったわけではなかったが、元を使わずに定義できるとはとても想像できなかっ…

続きを調べていたが、さほど多くは見つからなかったので4章の練習問題9をちらちらながめていた。実はこれはp.90の下から3行目で言及されていたもので、そのときは例によって原著者のtalkだと思って軽く流していたのだが、練習問題ということならと取り組んで…

なぜ、原著者がこの4章の内容をこの4章の位置に持ってきたかはよくわからないが、けっこうややこしいというか、こんがらかってしまいそうになる内容を今ここで述べる必要性があるとは思えない。後の構成の都合なのかもしれないが、とても初学者向けとは思え…

(2015/12/8 p.72 下から6行目『拡張』などを追記）さっそく間違い探しです。p.61 4行目 誤『また正しい文章となる』 正『また文法的に正しい文となる』 『正しい』の原文は『well-formed』なので、もちろん"真"という意味ではないですが、誤解を避けるために…

本章で面白かったのは、例2.8の選択公理とエピ射の分裂との関連だった。謎の多い選択公理が群や環論でおなじみの分裂の概念と等価とあって軽いショックを受けた。圏論で数学基礎論を書きなおすというような試みもこんな仕掛けがからんでくるのかもしれない。…

前回、原書は圏論の入門書として定評あると書いたが、Amazon.com 書評で一人だけ星ひとつを付けている人がいる。曰く、『著者Steve Awodeyは、研究者としてはすぐれているが、教科書の執筆者としてはそれほどでもないぞ。うんぬん。』主張を短く言うと、『初…

ひさびさに数学が勉強したくなって、さてなにしようかと考えていたら、前々から勉強したかった（がMacLaneで挫折した）圏論で、入門書として定評のあるAwodeyの『Category Theory』の和訳がでたので、おお、これは幸いと買ってみた。圏論 原著第2版作者: ス…