Немножко рисунков в тему.

В общем разбирая то, как бы юзать здесь не "категорный" аппарат, я пришел вот к чему:

Расширения через структурно-вариационный подход это достаточно просто. Корёжим наши вещицы с применением классификаций пока не получим [содержание] всех нужных вещей. Единственное условие, что здесь требуется - чтобы расширение по каждой переменной были одинаковыми.

Переход делается ровно также, только там мы рассматриваем уже конкретно некий путь(или пути) от одной вещи к другой.

Достаточно просто, не так ли? Теперь же когда мы не можем применять классификации, т.е с помощью предструктур:

Расширения делается тем способом, что мы бырём все эти нужные нам классификации и на выходных значениях классификаций задаём там какие-то другие классификации(параметризированные).

После чего формируем пространство взаимодействия классификаций, где получаем некую классификацию на нашем пространстве взаимодействия. Дальше, всё что нужно, это определить такие пространства для каждой фигни, и дальше нам нужно будет просто параметризировать нашу классификацию так, чтобы она давала бы нам каждую классификацию из нужных нам пространств. Типо если в одном пространстве это линия, а в другом кривая - то надо задать преобразование этой вот линии в кривую же.

После чего, когда мы получили это предструктуру, то нам требуется определить здесь будет то, чем мы здесь будем оперировать.

Опять же помним про параметризированную классификацию на пространстве взаимодействий, вот собирая вместе все эти классификации при каких-то значениях параметра - мы получим какой-то объект. Где нам следовало бы задать в нём некое расслоение на всякие классификации от значения параметра(типо из квадрата расслаиваемся в отрезки для примера). Вот каждый отрезок будет подразумевать какой-то наш объект где заданы определенным образом классификации, которые в купе взаимодействия друг на друга и будут определять выходные значения конкретно в этом расслоении. Собственно таким образом каждое расслоение будет выдавать нам взаимодействие классификаций на выдаваемых из другой классификаций значениях, что будет подразумевать некое изменение этих значений.

Тогда при обращении к расширениям мы бы говорили бы о параметризированной классификации на пространстве взаимодействия классификаций. Где уже беря расширение расширений, то мы бы на этой фигне задавали бы классификации и короче говоря всё делали тоже самое. Вот вы там можете увидеть красную фигуру на пике, вот на ней надо будет ввести классификации а потом из них сформировать пространство взаимодействия и т.д. Таким образом тогда выдаваемые значения(этой фигуры) будет подразумеваться измененными относительно взаимодействия классификаций на них, что в свою очередь будет влиять на расслоения же.

Пример кстати про который я тут говорю: квадрат и куб. На квадрате есть диск и диск из отрезков. Там мы задали, что при больших значениях диска у нас отрезки уменьшаются. Это всё на квадрате, а вот на кубе мы там можем диск задавать любых размеров, но отрезки никаких меняться не будут.

Дальше про [переходы]. В целом они похожи на расширения. Только там при параметризации должны быть ограничения, и там мы рассматриваем не каждое расслоение, а лишь одно, а ещё определяем входные значения.

При ограничении на параметризацию у нас появляется случай того, что мы не всегда сможем сформировать такой объект, в котором мы бы могли бы дойти до нужных нам расслоений. Как с одной так и с другой стороны. Таким образом мы бы говорили бы про пересечение двух этих объектов, и одно то расслоение, которое было бы из пересечения этих двух объектов.

При этом входные значения вычисляются у нас так: вначале берём те самые изначальные классификации из которых мы на выдаваемых значений оных организуем классификации. Так вот, мы там берем и вставляем туда какие-то параметры, получая разные какие-то выдаваемые хрени. И эти разные выдаваемые хрени вполне могут менять у нас классификации на этих выдаваемых вещах, а значит и классификации на пространстве взаимодействия. Дальше же от нас требуется смотреть на то, сколько у нас будет совпадений относительно хождения по параметру к нужному нам расслоению, при том зыркать можно это будет как с одной стороны так и с другой.

Для примера если выдаваемые значения это квадрат, то там мы выдаем каких-то размеров квадрат, гд появляются ограничения на размеры дисков и длинны отрезков же на выдаваемом от параметра квадрате. С кубом тоже самое. И вот мы зыркаем тут, а есть ли разница у нас, а чо там как там. Это хорошо на пике видно, вот типо возьмите там фиолетовые фиговины и дальше при хождении по параметру надо посмотреть будет на то, а придет ли это фиолетовая фигня в фиолетовую фигню другой. И вообще, сколько можно будет [покрыть] при проходе по параметру вещей, и может ли быть такое, что при разных вещах они при хождения по параметру приходят в одну вещь.

Единственный вопрос здесь будет лишь в том, а как взаимодействовать с [переходом]? Типо возьмем переход чего-то в переход? Ответ будет так же, как мы делали с расширениями. Только там у нас ещё могут поменяться входные значения и соответственно выходные тоже, и где мы везде рассматриваем только одно расслоение. Но так-то мы там просто строим переход к переходу - в той же манере - а потом дополнительно смотрим как у нас может изменился изначальный переход же.