Math 9501A: Categorical logic

Fall 2015

General information

What's new?


The course will not follow a single textbook. We will partly follow the presentation of the following texts:

Course content

The topics will include:


The final grade will be based on:

Final project and presentation

By the end of October, every student is required to choose a topic in the area of categorical logic (agreed on by the instructor), which he/she will write an expository article about by the end of the semester. This will constitute the student's final project, worth 40% of the final grade. In addition, the student will be required to give a 50-minute presentation (worth 20%), summarizing the main ideas of the project.

Medical accommodations

If you are unable to meet a course requirement due to illness or other serious circumstances, you must provide valid medical or other supporting documentation to the Dean's Office as soon as possible and contact the instructor immediately. It is your responsibility to make alternative arrangements with the instructor once the accommodation has been approved. In the event of a missed final exam, a "Recommendation of Special Examination" form must be obtained from the Dean's Office.

As possible arrangement, a homework grade could be dropped. There will be no make-up homework.

For further information, please consult:

Academic integrity

Working on homework with your peers is allowed and, in fact, encouraged. However, students must write their solutions independently. Handing in solutions suspiciously similar to those of other students, online sources or textbooks will be considered cheating and handled accordingly. Solutions must give credit to people and sources that have helped.

Scholastic offences are taken seriously and will not be tolerated. For more information, please consult the University policy on scholastic discipline


Please consult Services for Students with Disabilities (SSD) regarding accessibility services on campus. Please contact the instructor if you require materials in an alternate format or other accommodations to make this course more accessible to you.

Updated by Chris Kapulkin, December 4th, 2015.