Three notations for symmetric monoidal categories

Last updated Feb 3, 2024

Tags: Type theory, monoidal category, symmetric monoidal category