[WIP] more work towards displayed monoidal category#13

benediktahrens wants to merge 2 commits intormatthes:bicategoricalparamdistrrmatthes/UniMath:bicategoricalparamdistrfrom

benediktahrens:bicategoricalparamdistr-babenediktahrens/UniMath:bicategoricalparamdistr-baCopy head branch name to clipboard