computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 圏論 代数的構造による圏論 随伴(3) 随伴の三角等式による定義 随伴の定義についても本に従って見ていきます。 随伴の三角等式による定義 定義 8.1 圏 、 間の関手 、 について、自然変換 、 が存在してこれらが三角等式を満たすとき、すなわち \begin{CD} F @> 1_F >> F \\ @V Fη VV @| \\ FGF @>> εF > F \end{CD} \begin{CD} G @> ηG >> GFG \\ @| @VV Gε V \\ G @>> 1_G > G \end{CD} を可換にするとき、四つ組 を随伴関係と呼びます。定義(圏の積) 圏 、 の積 とは、 の対象は、 の対象 、 の… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2021%2F07%2F11%2F200107" title="代数的構造による圏論(12) - 非専門的シンギュラリティー研究所" 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-07-11 20:01:07 rich https://computeralgebra.hatenablog.com/entry/2021/07/11/200107 1.0 100%