computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 圏論 代数的構造による圏論 トポス(1) この段階で数学的帰納法を使うことによって図式を使わずに説明することができるようになったと思うのですが、簡単にはいかないのでトポスについてもう少し調べてみたいと思います。[4]、[5]、[6]、[7]の本を持っていたので少し読んでみようと思います。[4]、[5]は型理論の本でトポスに関する記述もあるようです。[7]はトポスの本のようです。[6]は圏論全般の本のようですがトポスに関する記述があります。ただ英語のトポスの本を読むのはたいへんなので、[2]、[3]の本を持っていたのでまずこれから読んで見たいと思います。まずトポスの定義から見ていきます。 [1] 圏論の道案内 ～矢印でえが… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F06%2F28%2F202119" title="代数的構造による圏論(9) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/411lGNgr3hL._SL500_.jpg Hatena Blog https://hatena.blog 2021-06-28 20:21:19 rich https://computeralgebra.hatenablog.com/entry/2021/06/28/202119 1.0 100%