Three notations for symmetric monoidal categories

Last updated Sep 8, 2023

Tags: Type theory, Monoidal category, symmetric monoidal category