Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

A Categorical Account of the Setoid Model

Hausdorff Center for Mathematics via YouTube

Overview

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.

Syllabus

Cipriano Cioffo: A categorical account of the setoid model

Taught by

Hausdorff Center for Mathematics

Reviews

Start your review of A Categorical Account of the Setoid Model

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.