strictifying tricategories

Tags: monoidal bicategory, Gray category, Gray monoid, tricategory.