О двойственности в дифференциальной геометрии

Со времен изобретения первых оптических приборов в физике утвердилась идея, что видимый образ объекта наблюдения зависит от инструментов, которыми пользуется наблюдатель. Одним из способов формализовать эту идею в математике является конструкция, сопоставляющая произвольному объекту $A$ категории $\tt K$ его оболочку $Env_\varPhi^\varOmega A$ в заданном классе морфизмов $\varOmega$ (интерпретируемом как класс представлений) относительно заданного класса морфизмов $\varPhi$ (интерпретируемом как класс инструментов наблюдения). Оказывается, что если в качестве $\tt K$ фиксировать какую-нибудь достаточно широкую категорию топологических алгебр (например, категорию стереотипных алгебр), то каждый выбор классов $\varOmega$ и $\varPhi$ будет определять некую “проекцию функционального анализа в геометрию”, причем стандартные математические дисциплины – комплексная геометрия, дифференциальная геометрия и топология – становятся частными примерами этой конструкции.
Подробней можно прочитать в приложенном файле.