"Better" explanation of the coproduct construction
Add dinaturality proof
Add explanation of how-to-get-unit
Fix typos
Merge pull request #15 from yfyf/cat_arrows

More monoidal magic