Theorem 19.3.2 ([Lurie (2017), Proposition 4.1.3.19]). Restriction along \(\Cut \) induces an equivalence \[ \Cut ^*\colon \Alg (C)\iso \Alg _{\bbA _{\infty }}(C). \]

Generated from the authoritative LaTeX source.