Definition 18.5.1 (Mode). A mode is a commutative algebra \(M\in \CAlg (\PrL )\) whose multiplication \[ M\otimes M\longrightarrow M \] is an equivalence. A presentable \(\infty \)-category \(C\) is called \(M\)-local if the unit of \(M\) induces an equivalence \[ C\simeq \An \otimes C\longrightarrow M\otimes C. \]
Generated from the authoritative LaTeX source.