Strict monoidal categories are strict categories#1196

ecavallo merged 4 commits intoagda:masteragda/cubical:masterfrom

anshwad10:strict-monoidalanshwad10/cubical:strict-monoidalCopy head branch name to clipboard