Weyl n-algebras and the Swiss cheese operad
We apply Weyl n-algebras to prove formality theorems for higher Hochschild cohomology. We
present two approaches: via propagators and via the factorization complex. It is shown that the second
approach is equivalent to the first one taken with a new family of propagators we introduce.