「第4章 自然変換」を見ていきます。コンマ圏のところまでは、どうやれば良いのかわからないのでそのままの書き方で書いていくことにします。 第4章 自然変換 ①自然変換の定義1 、 を圏 から への関手とします。 このとき、 から への 自然変換 は の各対象 …