Explore a categorical perspective on the setoid model in this 45-minute lecture presented by Cipriano Cioffo at the Hausdorff Center for Mathematics. Delve into the intricacies of category theory and its application to setoid models, gaining insights into this fundamental concept in mathematical logic and type theory. Examine the categorical structures underlying setoids and their relationships, enhancing your understanding of this important mathematical framework.
Overview
Syllabus
Cipriano Cioffo: A categorical account of the setoid model
Taught by
Hausdorff Center for Mathematics
