Could you say that str(C) is the "free strict monoidal category" generated from a monoidal category, and that this functor MonCat -> StrMonCat has a right adjoint that keeps the strings and forgets the strictness?

I guess an equivalence must be stronger than an adjunction, but it looks like a stock free/forgetful adjunction as well