спасибо

Добрый день.

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

Не понял чем это отличается от обычного графа. В чем задача целой теории здесь.

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

Как притащить сюда распределенные транзакции?

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

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

А категория сервисов и сообщений?

И опять же что дает теоркат? В документе указаны только графы и отображения между ними.

Категория сервисов и сообщений позволяет описать, т.к. тоже не накладывает никаких ограничений на сервисы. Вообще, она тут, чтоб легче было отобразить категорию сообщений в категорию зависимостей.

Зачем здесь именно теоркат - пока не знаю. 😊
Возможно, графов будет не достаточно впоследствии.

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

А категория сообщений наглядно определяет, что происходит с данными в процессе работы.

Категория сообщений ничего не показывает для распределенных транзакций, что сильно снижает ценность.

Выглядит как упрощенная uml диаграмма

Пока не понятно еще, как можно постоить отображение из категории сервисов-сообщений в категорию зависимых. Если словами, то все стрелки между 2 объектами отображаются в одну кострелку.

Не ясно, как такое преобразование описывается языком теорката

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

есть картинки, нет формализма

на картинках стрелки сходятьмя и расходятся
Я догадываюсь, что это подразумевает какие-то в произведение и сумму, как они определяются?

Отображение, которое переводит объекты в морфизмы и наоборот не называют функтором

Есть для этого термин?