homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
symmetric monoidal (∞,1)-category of spectra
A symmetric monoidal 2-category is a monoidal 2-category whose E1-algebra structure is refined to an E3-algebra structure.
A symmetric monoidal (infinity,n)-category for .
symmetric monoidal 2-category, symmetric 3-group