圏論

このページについて

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

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

※定義が書いてない言葉があったりするので、その場合はnLabを見るなりしてください。

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

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

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

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

第0章 圏論入門

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

第1章 圏論

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

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

第3章 高次元圏

第4章 トポス

第?章 ???

その他

Twitterでの解説まとめ

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

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

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

動画解説(Youtube)

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

圏論動画リスト

配信アーカイブ

参考文献

リンク集