YoVDO

A Categorical Account of the Setoid Model

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Category Theory Courses Mathematical logic Courses Type Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Related Courses

Introduction to Logic
Stanford University via Coursera
Logic: Language and Information 1
University of Melbourne via Coursera
Logic: Language and Information 2
University of Melbourne via Coursera
Information Service Engineering
openHPI
Language, Proof and Logic
Stanford University via edX