computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 圏論 代数的構造による圏論 自然変換については良い書き方が見つからないので、ほぼ「圏論の道案内 ～矢印でえがく数学の世界～」に従って書いていきます。 第4章 自然変換 ④自然変換の例2：hom 関手間の自然変換 まず「第3章 関手 ②関手の例1：順序を保つ写像，反変関手・双対圏」から定義を追加しておきます。 双対圏 圏 の対象と射を対象と射をとする圏で、射 に対して、 での の域を余域、 での の余域を域とするものは圏となります。この圏を の双対圏と呼び と書きます。 反変関手 からの関手を からの反変関手と呼びます。通常の関手を共変関手とも呼びます。 共変関手・反変関手の定義 圏 から圏 への対応 が、以下の条件(F1… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F06%2F05%2F180211" title="代数的構造による圏論(5) - 非専門的シンギュラリティー研究所" 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-06-05 18:02:11 rich https://computeralgebra.hatenablog.com/entry/2021/06/05/180211 1.0 100%