Code

Add monoidal & enriched categories#665

Code

Merged

mortberg merged 4 commits intoagda:masteragda/cubical:masterfrom barrettj12:monoidal2barrettj12/cubical:monoidal2Copy head branch name to clipboardDec 17, 2021

+250

Commits

Commits on Nov 26, 2021

• Product of categories

  barrettj12

  committed
  6c7137f

  Copy full SHA for 6c7137f

Commits on Dec 14, 2021

• Add monoidal & enriched categories

  barrettj12

  committed
  33d9c20

  Copy full SHA for 33d9c20

Commits on Dec 17, 2021

• Fix names

  barrettj12

  committed
  c6727c0

  Copy full SHA for c6727c0

• Merge branch 'master' into monoidal2

  barrettj12

  authored
  851fe9d

  Copy full SHA for 851fe9d