@Michael – from what I can make out from the proof of the strictification theorem it doesn't actually collapse all isomorphic objects into one object – it just identifies, eg \$$A\otimes (B\otimes C)\$$ and \$$(A\otimes B)\otimes C\$$ for all objects \$$A, B, C\$$. So the strict monoidal category isn't necessarily skeletal.