Categorical logic and Makkai’s conceptual completeness theorem (cont’d)

Roei Shirifi

Wednesday, November 26, 2025, 12:10 – 14:00, Room 4