Add cat-interp upto monoidal
Clearer center definition
Throw out duplicate slide
Remove ghost comma
Add TOC frames before sections
Merge pull request #22 from yfyf/cat-interp

Categorical interpretations up to monoid