моноидальный объект

В теории категорий моноид в моноидальной категории — это объект M вместе с двумя морфизмами * (называемый умножением), * и (называемый единицей), такими что следующая пятиугольная диаграмма а также диаграмма коммутативны. Обозначения те же, что и в статье Моноидальная категория: I — единица категории, , и — ассоциатор и морфизмы, соответствующие левому и правому умножению на единицу. Двойственно, комоноид в моноидальной категории C — это моноид в двойственной категории . Пусть категория C имеет также преобразование симметрии . Тогда моноид называется симметричным, если .