圏論

このページについて

※特に断らない限り、圏はlocally smallであると仮定しています。

※上から順に読むことを想定しています。

※選択公理は特に断らず使います。

意見・質問・感想・誤字や数学的間違いの指摘などはTwitterで直接リプやDMするか、マシュマロで送ってください。

お知らせ

■このページのPDFが紙の本になりました。↓のリンクから購入することができます。
全ての概念はKan拡張である: 第0章~第2章(Cauchy完備化は除く)
全ての概念はKan拡張であるII~豊穣圏論~: 第3章 2-category、豊穣圏

■PDFの量が多すぎると思うので第0章~Kan拡張のPDF(kan_extension.pdf)までの内容を短くまとめたPDFを作りました⇒可能な限り最短でKan拡張に到達する (2024-12-20更新、2025-01-06微修正)

■このページの内容をYoutubeで動画解説しているので、良ければ合わせてご覧ください⇒ 初心者向け圏論動画リスト圏論動画リスト

第0章 圏論入門

圏論を全く知らない人向けの解説です。圏論に馴染みのある方は飛ばしてもらって大丈夫です。

第1章 圏論

第2章を読むに当たって、必要な基本的事項を説明します。

第2章 全ての概念はKan拡張である

第3章 高次元圏

第4章 トポス

第?章 ???

その他

※PDFの日付について: 更新…数学的な内容の変更を含む変更、修正…数学的な内容の変更は含まない文章等の変更、微修正…誤植修正などの小さな修正

Twitterでの解説まとめ

関西すうがく徒のつどいでの講演

関東すうがく徒のつどいでの講演

すうがく徒のつどいでの講演

動画解説(Youtube)

初心者向け圏論動画リスト

圏論動画リスト

配信アーカイブ

参考文献

リンク集