厳密（strict）とは限らない一般的モノイド圏って、一貫性条件があるので定義がそもそもヤヤコシイです。モノイド圏のあいだの構造を保つ関手はモノイド関手（monoidal functor）ですが、これがまた何種類もあってメンドクサイ。自然変換の向きで呼び名が変…