статье (напомню, что более подходящая математическая теория разработана Шульманом), меня напрягал один момент: для выражения понятия "класс классов" нужно лезть уже в кубические 3-категории и развивать весь аппарат там. А не хочется, т.к. там все сложнее. А если классы классов классов? Пока ничего не придумалось как все упростить.
Ну например, получается там 3-мерная клетка (т.е. "куб" с шестью гранями). Для онтологов же важно ее как-то обозвать, даже это задачка. Вообразим себе, что одна грань этой клетки - это "специализация класса отношений". Тогда противоположная грань - это "класс специализаций классов отношений". Ну а сама 3-клетка будет "классификацией специализации класса отношений". Короче голову сломишь.
Найти бы какой-нить фокус-покус, чтобы так не усложнять. Может что-то с замкнутостью придумать?
В красивой картинке, нарисованной в Другие новости от algebraic-brain.livejournal.com
Реклама на проекте
Комментарии (0)