On strictification. Strict monoidal categories and coherence Strictification of a monoidal category Strictification of a monoidal functor Strictification and Non-Strictification of Monoidal Categories (Becerra) How Strict is Strictification (Campbell)