Merge pull request #13 from yfyf/cat_arrows

Arrows are monoids
"Better" explanation of the coproduct construction