随伴(3) 随伴の三角等式による定義 随伴の定義についても本に従って見ていきます。 随伴の三角等式による定義 定義 8.1 圏 、 間の関手 、 について、自然変換 、 が存在してこれらが三角等式を満たすとき、すなわち \begin{CD} F @> 1_F >> F \\ @V Fη VV @…

随伴(2) 積関手と冪関手 自由マグマと自由モノイドの関係を使って、随伴(の一部)を説明することができると思ったのですが、まだできていないし、随伴の全体を説明することは難しいと思われるので、また「圏論の道案内 ～矢印でえがく数学の世界～」の「第8章…

随伴(1) 自由マグマ まず基本になると思われる自由マグマから始めます。 マグマ 集合 が二項演算 を持つとき をマグマと呼びます。単に と表すこともあります。 部分マグマ をマグマとします。 に対して と書くことにします。 が を満たすとき は の への制…