Post for chapter 1 of category theory book