symmetric monoidal category

Last updated Nov 18, 2023