分類理論と多変数関数論は、本来はもっと
密接に関連付けて研究されるべきだろうね