Citations:strictification


 * 2009 Bertrand Guillou, "Strictification of categories weakly enriched in symmetric monoidal categories" arXiv
 * This is a "many 0-cells" version of the strictification of bimonoidal categories to strict ones.
 * 2010 M. R. Gould, "Coherence for Categorified Operadic Theories" arXiv
 * Using this definition, we generalize the result that every monoidal category is monoidally equivalent to a strict monoidal category, and show that the "strictification" functor has an interesting universal property, being left adjoint to the forgetful functor from the category of strict P-categories to the category of weak P-categories.