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 in the August session will be on the morning of Thursday the 27th of August. They will take place in room CYCL 06, in the same building where the lectures took place.
Interested students should receive an email by the end of July with the exact time of their slot.

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).