数学の世界の上ってなんやろか
やっぱ圏論か?