nLab
symmetric monoidal (∞,n)-category