Add arrows-are-monoids bit
Further steps to monoid structure
Improve funnines of footnote
Try to discover monoidal structures
Remove double 'out'
Add diagram, yeah
Merge pull request #13 from yfyf/cat_arrows

Arrows are monoids