類体論が目標なのに圏論とかに深入りする必要ないじゃないか
大山鳴動して鼠一匹みたいなことになるんじゃないのかい