Mario Román

Search

Search IconIcon to open search

properties of normal weakening

Last updated Jun 3, 2024

properties-of-normal-weakening

Tags: normal monoidal multicategory.