Кстати, вы как-то упоминали про то, что многообразия можно излагать через вещественные алгебры. Я так понимаю имеется ввиду что многообразия это категория противоположная к категории вещественных алгебр? Где можно про это подробнее почитать?

И еще, если не затруднит, не могли бы вы привести пару примеров как классические результаты (например, теорема Уитни о вложении) выводятся в такой парадигме?