heades/monoidal-annex

Issues

• Improvements to the definition of (co)lax monoidal functor

  #4 opened 6 years ago by heades
  0

• Change synax in (co)lax monoidal functors definition

  #1 opened 6 years ago by heades
  0

• New additions

  #3 opened 6 years ago by heades
  0

• Add reference for double category section

  #2 opened 6 years ago by heades
  0