Definition 19.1.4. Let \(D\) be left-tensored over \(C\). Pullback along \(\fa \) defines a forgetful functor \(\fa ^*\colon \Alg _{\oLMod }(D) \to \Alg (C)\). Given an associative algebra \(A \in \Alg (C)\), we define the \(\infty \)-category \(\LMod _A(D)\) of \(A\)-modules in \(D\) as the fiber of this functor over \(A\).
Generated from the authoritative LaTeX source.