Code

Monoidal category#17

Code

Draft

affeldt-aist wants to merge 2 commits intomasteraffeldt-aist/monae:masterfrom monoidal_categoryaffeldt-aist/monae:monoidal_categoryCopy head branch name to clipboard

+644

Commits

Commits on Jun 9, 2021

• define product functor as a first step towards monoidal category

  t6s

  committed
  3ff9195

  Copy full SHA for 3ff9195

• catch up with master; add monoidal and closed to _CoqProject

  t6s

  committed
  db98f34

  Copy full SHA for db98f34