Моноидальное присоединение - Monoidal adjunction
Эта статья может быть слишком техническим для большинства читателей, чтобы понять. Пожалуйста помогите улучшить это к сделать понятным для неспециалистов, не снимая технических деталей. (Февраль 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Эта статья не цитировать любой источники.Март 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения) ( |
Предположим, что и два моноидальные категории. А моноидальное присоединение между двумя слабые моноидальные функторы
- и
является примыкание между базовыми функторами, так что естественные преобразования
- и
находятся моноидальные естественные преобразования.
Подъемные присоединения к моноидальным присоединениям
Предположим, что
- нестрогий моноидальный функтор такой, что базовый функтор имеет право сопряженный . Это присоединение переходит в моноидальное присоединение. ⊣ тогда и только тогда, когда слабый моноидальный функтор сильный.
Смотрите также
- Каждое моноидальное присоединение ⊣ определяет моноидальная монада .