Sean Tilson: Definitions and computations of factorization homology.

After recalling the axioms for a homology theory, we will present a derived functor definition of factorization homology. Using this, as well as the axioms, we will compute the factorization homology of an n-dimensional manifold with coefficients in a free $E_n$-algebra as well as the factorization homology of the $S^1$. Next we will begin discussing factorizations algebra in order to give a Cech style construction of a homology theory.