0N4S Definition 3.30. Let π±\mathcal{V} be a symmtric monoidal β\infty-category which is β\otimes-presentable. For a BB-framed nn-manifold MM and a functor X:π π ππβπππππ‘β‘(π±)βπ²ππΊπΌπΎπX:\Alg_{\disk^{B}_{n}}(\mathcal{V})\rightarrow\spaces, the factorization homology of MM with coefficients in XX is the object in π±\mathcal{V} β«MX:=π πππ βπ πΏπΏ/π·ππβ«π¬π \int_{M}X:=\limit_{A\in{\sf Aff}^{\op}_{/X}}\int_{M}A where π πΏπΏβπ π ππβπππππ‘β‘(π±)ππ{\sf Aff}\simeq\Alg_{\disk^{B}_{n}}(\mathcal{V})^{\op} is the image of the Yoneda embedding in π₯ππβ‘(π π ππβπππππ‘β‘(π±),π²ππΊπΌπΎπ)\Fun\bigl(\Alg_{\disk_{n}^{B}}(\mathcal{V}),\spaces\bigr).