予想を遥かに上回る遅さで進んでいる。 やっと、極限、余極限。 定義 に対し を 「 のすべての対象を に、すべての射を にうつす関手」と考える。 （例によって、記号の濫用だと思うが、数学っぽくてかっこいい。 そしてそれを理解できる自分はすごいなと思…