This web page is under construction. For the Spring 2024 version of Categorical Logic, please see: https://awodey.github.io/catlog/.