Our techniques depend on a careful investigation of the functoriality of traces in symmetric monoidal (infinity,n)-categories, which is of independent interest..