В алгебре алгебра операд - это «алгебра» над операдой . Это обобщение ассоциативной алгебры над коммутативным кольцом R с операдой, заменяющей R.
Для данной операды O (скажем, симметричной последовательности в симметричной моноидальной ∞-категории C), алгебра над операдой, или O-алгебра для краткости, грубо говоря, является левым модулем над O с умножениями, параметризованными O.
Если O является топологическая операда, то можно сказать, что алгебра над операдой является O-моноидным объектом в C. Если C является симметричным моноидальным, это восстанавливает обычное определение.
Пусть C - симметричная моноидальная ∞-категория с моноидальной структурой, дистрибутивной по копределам. Если - это отображение операд и, более того, если f - гомотопическая эквивалентность, то ∞-категория алгебр над O в C эквивалентно ∞-категории алгебр над O 'в C.
.