>他の分野の進展などで置き換わられるせいで廃れる
>計算機の発見で高い算術階層の分類理論が死んだり
別に置き換えてないけど

>圏論の発展で普遍代数が死んだり
これも別に置き換えてないけどね