このページについて ※特に断らない限り、圏はlocally smallであると仮定しています。 ※上から順に読むことを想定しています。 ※定義が書いてない言葉があったりするので、その場合はnLabを見るなりしてください。 ※選択公理は特に断らず使います。 意見・質問・感想・誤字や数学的間違いの指摘などはTwitterまでお願いします。 ★お知らせ★ このページのPDFが紙の本になりました。↓のリンクから購入することができます。 全ての概念はKan拡張である: 第0章~第2章(Cauchy完備化は除く) 全ての概念はKan拡張であるII~豊穣圏論~: 第3章 2-category、豊穣圏 ■PDFの量が多すぎると思うので第0章~Kan拡張のPDF(kan_extension.pdf)までの内容を短くまとめたPDFを作りました⇒可能な限り最短でKan 拡張に到達する (2023-09-06更新
![圏論 | 壱大整域](https://cdn-ak-scissors.b.st-hatena.com/image/square/8ce1cf3644c751b9c05ececa602fa31931b993d3/height=288;version=1;width=512/http%3A%2F%2Falg-d.com%2Fmath%2Fkan_extension%2Fkan_extension.png)