общая теория всего как теория суперкатегорий
предыдущий пост делал, чисто на заметку, прокомментировать некогда было
в сложной продвинутой абстрактной математике лежат весьма простые идеи, но профессора от нас это скрывают ))
-----
общая теория всего как теория суперкатегорий
https://deep-econom.livejournal.com/207756.html
----
там akuklev пишет:
"Напомню, что мультикатегория - это как категория, только стрелочки у нас не Ob -> Ob, а List[Ob] -> Ob."
поясняю "Ob -> Ob" это упорядоченная пара (Ob1, Ob2) как я писал в своих постах на тему
типа начало стрелки и конец стрелки, ну или типа "вектор" (есть только первый и второй элемент, но нет направления)
akuklev: "List[Ob] -> Ob" это тоже упорядоченная пара (List[Ob], Ob)
List[Ob] тут имеется ввиду это тоже упорядоченная произвольная пара произвольного уровня вложений другими парами, ну или иными словами это список упорядоченных пар
суть: мы одной цепочке объектов сопоставили другой объект
таким образом общая операция одна мы произвольную цепочку объектов можем заменить другой цепочкой объектов
таким образом достигаем максимальной выразительной мощности, типа получаем формальную систему описания формальных систем, т.е. теорию описания всего, теория самых общих структур
с единственным правилом: мы все что угодно можем сопоставить произвольному объекту
когда конкретизируются правила сопоставления цепочки объектов другому объекту, то получается конкретная аксиоматическая теория, любая теория, любая структура
вот как раз и
akuklev: "ходячей моделью будет обобщённая мультикатегория со стрелками вида Ctx[Ob] -> Ob, где Ctx - обобщённая мультикатегория"
все эти идеи витают в воздухе, пришло время, созрело общечеловеское знание
в сложной продвинутой абстрактной математике лежат весьма простые идеи, но профессора от нас это скрывают ))
-----
общая теория всего как теория суперкатегорий
https://deep-econom.livejournal.com/207756.html
----
там akuklev пишет:
"Напомню, что мультикатегория - это как категория, только стрелочки у нас не Ob -> Ob, а List[Ob] -> Ob."
поясняю "Ob -> Ob" это упорядоченная пара (Ob1, Ob2) как я писал в своих постах на тему
типа начало стрелки и конец стрелки, ну или типа "вектор" (есть только первый и второй элемент, но нет направления)
akuklev: "List[Ob] -> Ob" это тоже упорядоченная пара (List[Ob], Ob)
List[Ob] тут имеется ввиду это тоже упорядоченная произвольная пара произвольного уровня вложений другими парами, ну или иными словами это список упорядоченных пар
суть: мы одной цепочке объектов сопоставили другой объект
таким образом общая операция одна мы произвольную цепочку объектов можем заменить другой цепочкой объектов
таким образом достигаем максимальной выразительной мощности, типа получаем формальную систему описания формальных систем, т.е. теорию описания всего, теория самых общих структур
с единственным правилом: мы все что угодно можем сопоставить произвольному объекту
когда конкретизируются правила сопоставления цепочки объектов другому объекту, то получается конкретная аксиоматическая теория, любая теория, любая структура
вот как раз и
akuklev: "ходячей моделью будет обобщённая мультикатегория со стрелками вида Ctx[Ob] -> Ob, где Ctx - обобщённая мультикатегория"
все эти идеи витают в воздухе, пришло время, созрело общечеловеское знание