Seminarium Zakładu Funkcji Rzeczywistych
6 Grudzień 2022
Seminar of the Division of Real Functions
Time and place: usually Tuesdays at 10:15 offline in room 130 xor online via MS Teams (if you are interested please contact email@example.com)
2022-12-13: Wojciech Wołoszyn (University of Oxford, UK), Modal logic: a unified approach to category theory and model theory [offline]
Abstract: One of the central incentives of the rise of category theory was to understand a mathematical structure in the context of a family of structures of similar kind, allowing one to understand how these structures are interrelated. Nearly eight decades later, modal model theory was introduced, with exactly that same intention in mind, albeit completely different approach. I shall now provide a framework that unifies the two perspectives.