Многообразия непрерывных структур

В современной математике предложен язык для описания произвольных множеств — теория категорий и функторов. Основным ее отличием является рассмотрение не отдельного множества с какой-либо своей структурой, а рассмотрение одновременно всех одинаково структурированных множеств. Будем описывать системы категориями. Сама система — это некоторая категория, объединяющая класс объектов и класс морфизмов. Аксиоматика математической структуры, определяющая категорию, выделяет заданную систему среди других систем, а объекты категории моделируют состояние систем.