Add cat-interp upto monoidal
Clearer center definition
Throw out duplicate slide
Remove ghost comma
Add TOC frames before sections