Logic for Homeschoolers, Lesson 10: Categorical Logic