Marco Abbadini - Categorical dualities in logic

Categorical dualities in logic (2025/2026) (LMAT2940)

Mathematics, Université catholique de Louvain.

Time and place

Day: Every Wednesday, from the 4^th of February 2026 to the 8^th of April 2026.
Time: 14:00 - 16:00.
Building: Marc de Hemptinne.
Room: Cyclotron 03.

Exams

The exams will take place in my office, B.430, on 19 June 2026, on the fourth floor of the same building where the lectures were held, between 9:00 and 15:00.
You should have received an email with your scheduled time.

Course material

Syllabus . Last modified: 14 April 2026.

Slides

Lecture 1 (4 Feb 2026).
Lecture 2 (11 Feb 2026).
Lecture 3 (18 Feb 2026).
Lecture 4 (25 Feb 2026).
Lecture 5 (4 Mar 2026).
Lecture 6 (11 Mar 2026).
Lecture 7 (18 Mar 2026).
Lecture 8 (25 Mar 2026).
Lecture 9 (1 Apr 2026).
Lecture 10 (8 Apr 2026).