モノイダル圏の結合律、左単位性、右単位性は自然同型を通じて成立するが、

strict monoidal categoryでは、それらの法則が直接的に成立する版