⑦極限，余極限の定義 続いて極限と積などの関係を見ていきます。 積・余積 圏 を対象が の二つで、射が恒等射だけの圏とします。 と書くことにします。 型の図式(圏 から圏 への関手) に対する極限( の終対象)が存在するとします。、 とおきます。「 を圏 (…