ScalingStacks

Remark 3.8. Proposition 3.7 implies factorization homology can be expressed as symmetric monoidal left Kan extension, at least when $\mathcal{V}$ is $\otimes$-presentable. This is equivalent to operadic left Kan extension (after parsing Definitions 3.1.1.2 and 3.1.2.2 of [Lu2]), which is the definition of factorization homology, or topological chiral homology, given by Lurie (Definition 5.5.2.6).