Моноидальное присоединение - Monoidal adjunction

Предположим, что и два моноидальные категории. А моноидальное присоединение между двумя слабые моноидальные функторы

и

является примыкание между базовыми функторами, так что естественные преобразования

и

находятся моноидальные естественные преобразования.

Подъемные присоединения к моноидальным присоединениям

Предположим, что

- нестрогий моноидальный функтор такой, что базовый функтор имеет право сопряженный . Это присоединение переходит в моноидальное присоединение. тогда и только тогда, когда слабый моноидальный функтор сильный.

Смотрите также

  • Каждое моноидальное присоединение определяет моноидальная монада .