Pietro Sabelli: Towards the Categorical Semantics of the Minimalist Foundation

Organized by the Department of Logic

Detailed information

Invitation pdf

Pietro Sabelli (Institute of Philosophy, CAS): Towards the Categorical Semantics of the Minimalist Foundation

Abstract
The Minimalist Foundation, first conceived by M. E. Maietti and G. Sambin and then fully formalised by Maietti, was introduced to serve as a common core among the plurality of foundations for mathematics. In this talk, I will first revisit its most important properties and design choices. Then, I will recall through a series of examples how the language of category theory can provide useful semantics for many logical and type-theoretical calculi. Finally, I will discuss a joint work in progress with Maietti in search of the categorical semantics of the Minimalist Foundation.