Modal logic: a unified approach to category theory and model theory

I shall give the third in a series of talks on the unification of different parts of mathematics at the University of Gdańsk. The talk shall take place on 13 December 2022 at 10:15 local time in room 130, Faculty of Mathematics, Physics, and Informatics. Abstract. One of the central incentives of the rise of […]