Бесконечные тензорные произведения

[oskar_808]

Вопрос: существует ли концептуальный формализм для работы с бесконечными тензорными произведениями

Comments

[nivanych]

Пренебрегая деталями (!!), можно сказать, что в мультикатегории, source мультистрелки, это какой-то конкретный список объектов.
Есть конструкция, которая вместо списка позволяет использовать любую декартову монаду (cartesian monad).
https://ncatlab.org/nlab/show/generalized+multicategory

Стоит вспомнить и про опетопы.
На них вообще n-категории строятся и там есть печенькиdelooping.
Даже теорию типов сделали опетопную.
https://ncatlab.org/nlab/show/opetope

Систематически это изложено у Лейнстера -
https://arxiv.org/abs/math/0305049
Вам, я думаю, будет несложно прочитать.

[oskar_808]

Спасибо!
Кажется, все дороги ведут к обобщённым мультикатегориям...

[nivanych]

Все дороги ведут к fc-мультикатегориям (virtual double) ;-)
В них тоже можно любую декартову монаду подставить.
Ну и дальнейшим n-обобщениям их, включая всякие критерии фибрантности и так далее...