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

Unleashing Algebraic Metaprogramming in Julia with Metatheory.jl
The Julia Programming Language via YouTube
COSC250 - Functional and Reactive Programming
Independent
Free as in Monads - Understanding and Applying Free Monads - Lecture 44
ChariotSolutions via YouTube
Generalised Integrated Information Theories
Models of Consciousness Conferences via YouTube
Reasoning About Conscious Experience With Axiomatic and Graphical Mathematics
Models of Consciousness Conferences via YouTube