November 4th, 2015

Забывающие из категории моноидальных категорий

Рассмотрим забывающие функторы из, например, категории симметричных замкнутых и просто моноидальных категорий в Cat.
Как должны выглядеть левые сопряжённые к ним?
В случае симметричных замкнутых, получаем просто свободное присоединение декартового произведения и экспоненты?
А в случае просто моноидальных, неужели просто декартовое произведение?
Что-то не то.
Ну и далее, рассуждения про получившуюся монаду и алгебры для неё.
Что это за логики получаются такие универсальные?

Скорее всего, ответ тут должен быть какой-то простой, но что-то я буксую...