Connect Lemma 9.1.8
Add some more category theory from the book
Merge pull request #363 from JasonGross/cat-book

Add some more category theory from the book
./autogen.sh