「数学のかんどころ」の圏論のやつ、
予想通りヤバいっぽいな