category with duals (list of them)
dualizable object (what they have)
n-category = (n,n)-category
n-groupoid = (n,0)-category
The free symmetric monoidal category on some given data is equivalent to the free symmetric strict monoidal category on the same data.
Every symmetric monoidal category is symmetric-monoidally equivalent to a symmetric strict monoidal category.
Every symmetric monoidal category is equivalent to an unbiased symmetric monoidal category?.
The forgetful 2-functor has a strict left adjoint and the components of the unit are equivalences in .
Note that in a symmetric strict monoidal category, the associators and unitors are identities, but the symmetry is not in general.