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

[oskar_808]

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

Я вижу два возможных направления:
1). обобщение мультикатегорий/операд для описания морфизмов, имеющих бесконечное количество областей;
2). обобщение моноидальных категорий на случай бесконечноарных категорных операций.

Описаны ли где-либо эти подходы? Существуют ли другие?