FermaYails, новая программа Вербицкого хороша, но, кажется, что она писалась с предположением, якобы гладкие многообразия (их топология и геометрия) - самый важный раздел современной математики. Например, почему дифференциальная геометрия и дифференциальная топология входит в неё, а алгебраическая геометрия - нет. Ответ прост - потому что Миша Вербицкий (и московская школа математики) её любят, а алгебраическую геометрию (не над
, а над полями конечной характеристики и над коммутативными кольцами, что иногда называют арифметической геометрией) - не особо.
Лично я не верю в большие обязательные программы. Махровые алгебраисты успешно занимаются своей теорией полей классов, не зная вещественного уравнения Монж-Ампера, а махровые аналитики успешно изучают свои нелинейные УрЧП, не зная когомологий Галуа. Думаю, куда разумнее прагматичный подход - выучить совсем малый ликбез - язык, на котором говорят математики, то есть базовую теорию множеств, базовый анализ, базовую алгебру и базовую топологию (теория категорий тоже важный базовый язык, но его сложно учить без примеров), а потом уже копать по интересам. Хотя более прикладным математикам (комбинаторика, теория вероятностей) даже приличный курс алгебры не нужен.