Николай Иваныч (nivanych) wrote in category_theory,
Николай Иваныч
nivanych
category_theory

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

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

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

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 16 comments