Let be a symmetric monoidal stable -category, satisfying appropriate adjectives. (Reduced) factorization homology is then a functor
The way we have viewed this so far is to fix an and consider this a functor . We can then prove theorems such as -excision. As far as categories go, is not the best category to apply category-theoretic techniques to. In this talk, we will fix an and consider the functor
The only explicit calculation we know about this functor is its values on free algebras, which we did in the case of (non-zero-pointed framed) manifolds in the first talk. We shall begin by setting up the analogous version for augmented -disk algebras and zero-pointed manifolds.