Add symmetric monoidal categories - #322

Open

ScriptRaccoon wants to merge 7 commits into

mainfrom

symmetric-monoidal-categories

Commits on Aug 11, 2026

add support for symmetric monoidal categories
ScriptRaccoon
committed
be28a70
remove underscores when displaying symmetric_monoidal_category
ScriptRaccoon
committed
c842e1d
add some properties of symmetric monoidal categories and their implications
ScriptRaccoon
committed
9bd4628
add self-duality to symmetric monoidal categories
ScriptRaccoon
committed
f8b7024
add some first examples of symmetric monoidal categories
ScriptRaccoon
committed
8c72c56
add tests for symmetric monoidal categories
ScriptRaccoon
committed
d25efed
briefly mention symmetric monoidal categories in documentation
ScriptRaccoon
committed
b3d8277