素朴集合論があったから集合論は広まった
素朴圏論みたいなもんがないから何か専門を持ってる数学者は手を付けようとせず広まりようもない