Add beginning of arrows are afreyd
Add proof of arrows are Freyd lemma
Add preliminarily final section on main result

http://www.youtube.com/watch?v=E6NBSFreCzM
Merge pull request #14 from yfyf/arr_freyd

Add arrows are afreyd cats