Nicola Gambino
Cambridge University

"On relating sets, types, and categories"

Abstract:
Set theory, type theory, and category theory have all been considered as interesting foundational contexts for the development of constructive mathematics. Much recent research focuses on relating the three settings, and nice proof-theoretic results come out of these investigations.

I will review some of the well-known connections between sets, types and categories, and then present some recent results concerning type-theoretic and category-theoretic counterparts of the constructive set theory CZF.

Back to Talks Page