NG
Пока в тексте произведения и сумма формально никак не определены. Схождение стрелок должно являться произведением, да.
Size: a a a
2018 March 04
NG
Отображение, которое переводит объекты в морфизмы и наоборот не называют функтором
А существует такое понятие формально?
Oℕ
Пока в тексте произведения и сумма формально никак не определены. Схождение стрелок должно являться произведением, да.
у тебя замкнутая категория?
Oℕ
А существует такое понятие формально?
ncatlab лежит, так что я бессилен в гуглении
Oℕ
но такая инверсия даёт какую тонкую категорию
Oℕ
непонятно зачем, если можно спокойно рассматривать категорию морфизмов
NG
Я недостаточно представляю, что есть замкнутая (это ведь декартово замкнутая?), поэтому не рискну её так называть
NG
Но похоже на замкнутую
Oℕ
Я недостаточно представляю, что есть замкнутая (это ведь декартово замкнутая?), поэтому не рискну её так называть
это значит, что есть сообщения-экспоненты , типа лямдба функций, и есть морфизм-сервис, который возьмёт такую лямбду-граф и запустит её внутри себя
Oℕ
микросервис, запускающий графы микросервисов. Есть такое?
Oℕ
Если нет, тогда нужно аккуратно задать произведение и сумму(наверное)
Oℕ
произведение сообщений - это что?
NG
Нет, микросервисов, запускающих, графы других нет.
Oℕ
Нет, микросервисов, запускающих, графы других нет.
тогда не замкнутая
Oℕ
замкнутая может делать всякие каррирования, выражать сумму через произведение и т.п.
Oℕ
в незамкнутой справляешься сам
NG
Произведение сообщений - получается новое сообщение, содержащее предыдущие. Что есть сумма - пока сам не знаю.
Oℕ
Произведение сообщений - получается новое сообщение, содержащее предыдущие. Что есть сумма - пока сам не знаю.
т.е. произведение морфизмов - это zip ?
Oℕ
представим, что один твой сервис выбрасывает сообщения в 1000 раз чаще, чем другой
Oℕ
как ты сделаешь их произведение, чтобы генерировать сообщения, скомпонованные из двух?