ScalingStacks

Notation 7.4.3.

Let \(\mathcal C\) be a presentably symmetric monoidal \(\infty\)-category. For every morphism \(f \colon A \rightarrow B\) in the \(\infty\)-category \(\mathrm{Alg}_{\mathbb E_k}(\mathcal C)\), the centralizer in \(\mathrm{Alg}_{\mathbb E_k}(\mathcal C)\) exists [Lur17, Cor. 5.3.1.15] and will henceforth be denoted by \(Z_k(f)\in\mathrm{Alg}_{\mathbb E_k}(\mathcal C)\).