>>371
逆だよ
本質的には同じものとして統一的にとらえるために圏論という同じ道具を用いた