properties of normal weakening

Tags: normal monoidal multicategory.