Factorization homology. Part 4