Skip to content

Strict monoidal categories are strict categories#1196

Open
anshwad10 wants to merge 3 commits intoagda:masterfrom anshwad10:strict-monoidal

Commits

Commits on Feb 22, 2025