computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 圏論 代数的構造による圏論 「第4章 自然変換」を見ていきます。コンマ圏のところまでは、どうやれば良いのかわからないのでそのままの書き方で書いていくことにします。 第4章 自然変換 ①自然変換の定義1 、 を圏 から への関手とします。 このとき、 から への 自然変換 は の各対象 に の射 を対応させる。 の任意の射 に対して が成り立つ。 というものを言います。このとき と書きます。 を の 成分と呼びます。図式は同じようには描けないのですが描いておきます。 および を関手 の間の自然変換とするとき、これらの合成を と定義すると、自然変換 となります。この合成は結合律、単位律を満たします。圏 から圏 への関手を対象… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F05%2F24%2F215741" title="代数的構造による圏論(3) - 非専門的シンギュラリティー研究所" 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/41f6GquoyzL._SL500_.jpg Hatena Blog https://hatena.blog 2021-05-24 21:57:41 rich https://computeralgebra.hatenablog.com/entry/2021/05/24/215741 1.0 100%