Операдная алгебра
- Алгебра операд — обобщение ассоциативной алгебры над коммутативным кольцом R.
- O-алгебра является левым модулем над операдой с умножениями, параметризованными O.
- Если O является топологической операдой, то O-алгебра является O-моноидным объектом в C.
- Если C является симметричным моноидальным, то это восстанавливает обычное определение.
- ∞-категория алгебр над O в C эквивалентна ∞-категории алгебр над O’ в C, если f:O→O’ является отображением операд и гомотопической эквивалентностью.
Полный текст статьи: