ScalingStacks

0N3N

Definition 3.2. Let MM be a BB-framed nn-manifold. Let AA be a π’Ÿβ€‹π—‚π—Œπ—„π—‡π–‘\disk_{n}^{B}-algebra in 𝒱\mathcal{V}. Factorization homology (of MM with coefficients in AA) is an object of 𝒱\mathcal{V} given by either of the equivalent expressions (provided they exist)

∫MA\displaystyle\int_{M}A :⁣=\displaystyle:= π–Όπ—ˆπ—…π—‚π—†(π’Ÿβ€‹π—‚π—Œπ—„π—‡/π–¬π–‘β†’π’Ÿβ€‹π—‚π—Œπ—„π—‡π–‘β†’π– π’±)\displaystyle\colim\bigl(\disk_{n/M}^{B}\to\disk_{n}^{B}\xrightarrow{A}\mathcal{V}\bigr)
≃\displaystyle\simeq 𝔼Mβ€‹β¨‚π’Ÿβ€‹π—‚π—Œπ—„π–¬π–‘β€‹A,\displaystyle\mathbb{E}_{M}\underset{\disk_{M}^{B}}{\bigotimes}A~,

where the latter is the coend.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

David Ayala, John Francis

Original source: arXiv:1206.5522v6