Lessons in Logic 28: Review of Categorical Logic