Title: Syllabus-Minta:
Author: Janos Hardi
Last saved by: Kati
Company: Philolaos Publishing

Code(s): BMA-LOTD-327.01, BMI-LOTD-327E.01
Title: Categorical logic
Lecturer(s): Mihály Makkai, guest professor
Location and time: Thu 10:00-11:30, Trefort campus building i, room 224
Consultation (e-mail): michael.makkai@mcgill.ca

General aim of the course: Teaching of elements of first-order categorical logic.

Content of the course: The material given is based on the books Makkai/Reyes: First-Order Categorical Logic, Accessible Categories by Makkai and Pare. There will be material on higher dimensional categories, not contained in the sources mentioned

Bibliography:
Makkai, M., Reyes, G.E., First Order Categorical Logic. Springer, 1977
Makkai, M., Paré, R., Accessible Categories: The Foundations of Categorical Model Theory. AMS, 1989.

Exaqmination and evaluation system: The mark is based entirely on the student’s submitted works.