Main informations

Zroom for the class

Meeting ID: 943 5020 6924
Accessible from Canvas 80514
Only cmu.edu adresses admitted

(Recordings available only on demand)

Office hours

after each course, in the same zroom, or by appointment

Piazza

We will be using Piazza for class discussion.

Homework

Homework will be available on the Gradescope page of the class.

Homework 1  Homework 2  Homework 3 

Slides of the lectures

Lecture 1  Lecture 2  Lecture 3  Lecture 4  Lecture 5  Lecture 6  Lecture 7  Lecture 8  Lecture 9  Lecture 10  Lecture 11  Lecture 12  Lecture 13  Lecture 14  Lecture 15  Lecture 16  Lecture 17  Lecture 18  Lecture 19  Lecture 20  Lecture 21  Lecture 22  Lecture 23 

Other documents

A note on variables and syntactic categories

Course description

This course focuses on applications of category theory in logic and computer science. A leading idea is functorial semantics, according to which a model of a logical theory is a set-valued functor on a category determined by the theory. This gives rise to a syntax-invariant notion of a theory and introduces many algebraic methods into logic, leading naturally to the universal and other general models that distinguish functorial from classical semantics. Such categorical models occur, for example, in denotational semantics. e.g. treating the lambda-calculus via the theory of cartesian closed categories. Higher-order logic is treated categorically by the theory of topoi. We shall see how this idea connects logic with topology (the models of a theory form a space).

A prerequisite for this course is familiarity with basic category theory (as treated in the course 80-413/713).

Contact me for any questions, particularly if you are unsure the course is for you.

References

Course notes of the previous year

• Steve Awodey, Andrej Bauer, Categorical Logic, courses notes 2019.
• Jonas Frey, Categorical Logic, courses notes 2017.

Other references:

• Crole, Categories for Types (CUP, 1994)
  a good reference in connection to computer sciences.
• Peter Johnstone, Sketches of an Elephant (OSP, 2002)
  Part D is quite a comprehensive reference on 1st order logic (try to read it by discarding all remarks about topoi).
• Jacob Lurie, course in Categorical logic (MIT, 2018)
  good reference for anyone interested in ultracategories.

Grading

• Homeworks (1/2 of final grade)
• Presentation (1/2 of final grade)
  • 80-514 : either written or 30'' talk
  • 80-814 : both written and 30'' talk

back to main page