CMU also currently has a course in categorical logic [0]. Internally, the only prerequisite is a course in category theory. The course notes can be found at [1]

CMU also currently has a course in categorical logic [0]. Internally, the only prerequisite is a course in category theory. The course notes can be found at [1]. [0] http://mathieu.anel.free.fr/CLcourse.html http://mathieu.anel.free.fr/CLcourse.html [1] http://mathieu.anel.free.fr/mat/80514-814/Awodey-Bauer-catlog(2019).pdf http://mathieu.anel.free.fr/mat/80514-814/Awodey-Bauer-catlo...