Seminar Logic

Content

Day, time and place. In consultation with participants.

Subject. Categorical Logic

The seminar will be about connections between Logic (in various guises) and Category Theory. Most logical constructions can be described in terms of (co)limits, and, as Lawvere said, "quantifiers are adjoint functors".

Literature. There will be several research papers. A good set of preliminary lecture notes is "Categorical Logic" by A.M. Pitts.
 
Prerequisites. Apart from a bachelor in mathematics with the course "Foundations of Mathematics" (or something equivalent), some basic Category Theory is needed; roughly the first half of the Mastermath course in that subject.
 
Format and evaluation. The seminar is aimed at master students interested in Logic. There is a maximum number of (active) participants of 10. Participants are expected to give three presentations of 45 minutes each. Since each session consists of 2x45 minutes, students work in a “team” of 2, and work in collaboration. Moreover, each team devises 1 or 2 homework exercises, which are solved by the other students, graded by the team. Simultaneously with handing out the homework, the team hands a “model solution” to the teacher. Students are encouraged to give feedback to each other.
 
Learning goals. After completion of the course, the student is able to:

• convert material from part of graduate-level textbook or a scientific paper into a coherent and comprehensible presentation for fellow students and mathematicians in general
• choose appropriate means of communicating theoretical mathematics to fellow students and mathematicians, in written and oral form
• formulate and grade exercises that keep a balance between relevance, interest, and feasibility
• work together as a team, thereby acquiring collaboration skills
• provide reasonable feedback to fellow students

Evaluation matrix. 
presentations = presentations and following discussion

	presentation(s)	homework
understanding the material	20	50
effective communication of the material	20	0
formulating and correcting homework	0	10