Definition 19.4.4. Let \(D\) be left-tensored over a monoidal \(\infty \)-category \(C\), and let \(M \in D\) be an object. We define the endomorphism category of \(M\) as the fiber of \((s,t)\) over \((M,M)\): \[ C[M] := \Ar ^{\enr }(D) \times _{D \times D} \{(M,M)\}. \]
Generated from the authoritative LaTeX source.