Student seminar Categorical Logic (Spring 2006)

Teachers: Jaap van Oosten and Benno van den Berg

Van Oosten can be found at room 5.07, tel. 3305; Van den Berg at room 410, tel.2303.

Participants: Tim Baarslag,Stefan Giesing,Andreas Goetze,Roald Koudenburg,Rutger de Looij,Bastian Michel, Wouter Stekelenburg,Gideoon Wormeester.

The meetings are on Wednesdays, 13-15 in room K8b. First meeting: Week 7 (Wednesday February 15) 2006.
Credits: in order to receive the credits for this topic, students must present a section of the material, select one or two exercises (which the other students must hand in) and grade them.
The students hand in their solution of the hand-in exercise to the one who has presented the material, a week after.
Grades will be based on quality of presentation as well as performance in exercise-making.

Theme of the seminar: Categorical Logic.

Literature: we intend to work through the lecture notes ``Basic Category Theory'' (Jaap van Oosten), available in ps format or in pdf.
The subject matter is: Category Theory, with applications to Logic. There is a lot of literature on this subject. The best book on Category Theory to start with, is MacLane's Categories for the Working Mathematician. There is an excellent introduction to the interplay between Categories and Logic in Andy Pitts' chapter Categorical Logic, online available in ps format.

Provisional schedule:

Week 7

Rutger de Looij. Rutger has treated the first 5 pages of the notes. Hand-in exercise is Exercise 12 (hand in to Rutger!)

Week 8

Gideon Wormeester. Treated: up to middle of p. 9. Hand-n exercise: 17.

Week 9

Wouter Stekelenburg. Treated: up to middle p. 11. Hand-in exercise: 20.

Week 10

Roald Koudenburg. Treated: up to p.15. Hand-in exercise: 30.

Week 11

Bastian Michel. Treated: up to p.20. Hand-in exercise: 36b).

Week 12

hertentamenweek.No meeting.

Week 13

Andreas Goetze. Treated: to end of section 3.3. Hand-in exercises: 43,46.

Week 14

Tim Baarslag. Treated: to statement Prop. 4.2. Hand-in exercise: 60.

Week 15

Stefan Giesing. Treated: up to def. 4.6. Hand-in exercise: 65.

Week 16

Easter holiday

Week 17

Bastian Michel. Treated: most of section 4.2. Hand-in exercise: Example b) on p. 37.

Week 18

Tim Baarslag. Treated: up to and including p.45. Hand-in exercise: 90.

Week 19

Andreas Goetze. Treated: up to and including Theorem 5.2. Hand-in exercise: 94.

Week 20

Stefan Giesing. Treated: to end of p.54. Hand-in exercise: 102.

Week 21

hertentamenweek.No meeting.

Week 22

Gideon Wormeester.

Week 23

No meeting; teachers are abroad.

Week 24

Wouter Stekelenburg.

Week 25

Roald Koudenburg.

Week 26

Terug naar de basis.