0N2T Theorem 1.2. There is an equivalence between homology theories for topological nn-manifolds valued in π±\mathcal{V} and nn-disk algebras in π±\mathcal{V} β«:π π ππβππππβ‘(π±)\textstyle{\displaystyle\int:\Alg_{\disk_{n}}(\mathcal{V})\ignorespaces\ignorespaces\ignorespaces\ignorespaces}πβ‘(β³βπΏπ π½n,π±):πΎπβn.\textstyle{\mathbf{H}(\mfld_{n},\mathcal{V}):{\sf ev}_{\mathbb{R}^{n}}~.\ignorespaces\ignorespaces\ignorespaces\ignorespaces} This equivalence is implemented by the factorization homology functor β«\int from the left, and evaluation on βn\mathbb{R}^{n} from the right.