Proof. We apply Theorem 3.24: Since is a homology theory, it is equivalent to factorization homology with coefficients in , which is identified as the -fold loop space of the fiber of the map , . ∎
Original source: arXiv:1206.5522v6
Original source: arXiv:1206.5522v6