Index of /course/80-413-713/notes
Index of /course/80-413-713/notes NameLast modifiedSizeDescription Parent Directory - CT2errata2010.pdf 2015-04-02 09:57 35K cats.pdf 2015-04-02 09:57 85K chap01.pdf 2015-04-02 09:57 190K chap02.pdf 2015-04-02 09:57 185K chap03.pdf 2015-04-02 09:57 179K chap04.pdf 2015-04-02 09:57 140K chap05.pdf 2015-04-02 09:57 201K chap06.pdf 2015-04-02 09:57 208K chap07.pdf 2015-04-02 09:57 242K chap08.pdf 2
圏論 | 壱大整域
このページについて ※特に断らない限り、圏はlocally smallであると仮定しています。 ※上から順に読むことを想定しています。 ※定義が書いてない言葉があったりするので、その場合はnLabを見るなりしてください。 ※選択公理は特に断らず使います。 意見・質問・感想・誤字や数学的間違いの指摘などはTwitterで直接リプやDMするか、マシュマロで送ってください。 ★お知らせ★ このページのPDFが紙の本になりました。↓のリンクから購入することができます。 全ての概念はKan拡張である: 第0章～第2章(Cauchy完備化は除く) 全ての概念はKan拡張であるII～豊穣圏論～: 第3章 2-category、豊穣圏 ■PDFの量が多すぎると思うので第0章～Kan拡張のPDF(kan_extension.pdf)までの内容を短くまとめたPDFを作りました⇒可能な限り最短でKan 拡張に到
演繹系とお絵描き圏論 - 檜山正幸のキマイラ飼育記 (はてなBlog)
次の2つの事情からこのエントリーを書きます。 oskimuraさんのコメントに対して、あまりにそっけない対応でちと申し訳ない。 「ラムダ計算、論理、圏」セミナーで、圏の話はほとんど出なかったんじゃないの？ というご指摘に少しだけ応えたい。 「ラムダ計算、論理、圏」セミナーの楽屋裏を紹介するような意図もあります。論理と圏論の知識が若干必要なので、この記事は自己完結的とは言えません。が、流し読みしても大意は伝わると思います。「命題論理とデカルト閉圏」のセクションにある対応表がメダマのつもり。 内容 十人十色な演繹系 自然演繹とシーケント計算 論理の圏論的意味論 演繹系の健全性 命題論理とデカルト閉圏 構造規則とお絵描き 十人十色な演繹系 図書館に行って論理学の教科書を端から眺めてみると、採用している論理記号、公理系、推論規則などが著者ごとにバラバラなのがわかると思います。有名どころの演繹系（演
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
