properties of normal weakening

Last updated Jun 3, 2024

Tags: normal monoidal multicategory.