Foundations: Category Theory

Share this & earn $10
Richard Southwell
Published at : 11 Dec 2020
628 views
50
0

In this series we develop an understanding of the modern foundations of pure mathematics, starting from first principles. We start with intuitive ideas about set theory, and introduce notions from category theory, logic and type theory, until we are in a position to understand dependent type theory, and in particular, homotopy type theory, which promises to replace set theory as the foundation of modern mathematics. We also take an interest in computer science, and how to write computer programming languages to formalize mathematics.

In this video, we introduce category theory, the category Set, and the idea of terminal objects.
Category TheoryMathematicsComputer Science

The REAL Reason CRO Is Dumping | Sell Or Buy Crypto.com Coin?

The REAL Reason CRO Is Dumping | Sell Or Buy Crypto.com Coin?

DON’T CHOOSE THE WRONG MYSTERY BOX CHALLENGE SUPER POPS VS LATIN POPS. Totally TV

DON’T CHOOSE THE WRONG MYSTERY BOX CHALLENGE SUPER POPS VS LATIN POPS. Totally TV

They are Smartest Impostors in Among Us! Funny Moments #49

They are Smartest Impostors in Among Us! Funny Moments #49

We Won it 5 Times! +Lyrics

We Won it 5 Times! +Lyrics

Dennis Lloyd - THINK ABOUT IT (Official Video)

Dennis Lloyd - THINK ABOUT IT (Official Video)

Compulsory Heterosexuality | Hannah Witton

Compulsory Heterosexuality | Hannah Witton

The Missing Piece in our Relationships | Charnita Arora | TEDxThaparUniversity

The Missing Piece in our Relationships | Charnita Arora | TEDxThaparUniversity

Mindme feat. Emmi - Don't Need It

Mindme feat. Emmi - Don't Need It

How to Reinforce and Reduce Chicken Stock

How to Reinforce and Reduce Chicken Stock

VLOOKUP to Find the Last Value in a List

VLOOKUP to Find the Last Value in a List

Invitation Preparation / Minor discourse / English / class VI - X / Dr. Sharada

Invitation Preparation / Minor discourse / English / class VI - X / Dr. Sharada

Revive 030 With Retroid And Alter Form

Revive 030 With Retroid And Alter Form

Косметика BENEFIT: обзор, свотчи, макияж

Косметика BENEFIT: обзор, свотчи, макияж

Yule - A Pagan Tradition

Yule - A Pagan Tradition

Why is Alcohol Content Referred to as Proof?

Why is Alcohol Content Referred to as Proof?

First 30 Days in the US // New Immigrant // Things you need to do //  Migrating to US

First 30 Days in the US // New Immigrant // Things you need to do // Migrating to US

5 New Ways to Promote YOUR Music *best way*

5 New Ways to Promote YOUR Music *best way*

PMP Exam Preparation:  Introduction to Three Point Estimating

PMP Exam Preparation: Introduction to Three Point Estimating

Sciatica Stretches & Exercises - Ask Doctor Jo

Sciatica Stretches & Exercises - Ask Doctor Jo

Exposé - Come Go with Me (Official Video)

Exposé - Come Go with Me (Official Video)

Short radius turns for speed control

Short radius turns for speed control

is Pea Pea a good dancer? - Stop Motion Animation Cartoon

is Pea Pea a good dancer? - Stop Motion Animation Cartoon

Standard of Workmanship

Standard of Workmanship

Shake Rattle & Roll The Beginning: Janice De Belen and Herbert Bautista

Shake Rattle & Roll The Beginning: Janice De Belen and Herbert Bautista

Primarily meaning in Hindi | Primarily ka kya matlab hota hai | daily use English words

Primarily meaning in Hindi | Primarily ka kya matlab hota hai | daily use English words

Isotopes - The Invisible Hand Of The M.L.B. Is Meddling (Official Video)

Isotopes - The Invisible Hand Of The M.L.B. Is Meddling (Official Video)

Michaela Jonczy - Zima (The Same Self teaser)

Michaela Jonczy - Zima (The Same Self teaser)

Weird Videos That Can’t Quite be Explained

Weird Videos That Can’t Quite be Explained

Krunk! & Restricted - With You (feat. Kelly Matejcic) [Official Audio]

Krunk! & Restricted - With You (feat. Kelly Matejcic) [Official Audio]

Frequent Galactic Magnetic Reversals, Solar Forcing | S0 News Oct.18.2020

Frequent Galactic Magnetic Reversals, Solar Forcing | S0 News Oct.18.2020

11 Theories Why We Haven't Met Any Aliens Yet

11 Theories Why We Haven't Met Any Aliens Yet

Bill's Shamo cross Sumatra Breed in UK

Bill's Shamo cross Sumatra Breed in UK

Ariana Grande - Dangerous Woman (A Cappella)

Ariana Grande - Dangerous Woman (A Cappella)

I Bought A House! Now I Need To Remodel It

I Bought A House! Now I Need To Remodel It

Suffering Is Contained in a Single Thought

Suffering Is Contained in a Single Thought

Trading fly portion for good offer

Trading fly portion for good offer

This is the reason why Magnus Carlsen is inspired by his play - The amazing Daniil Dubov

This is the reason why Magnus Carlsen is inspired by his play - The amazing Daniil Dubov

Now United - Like That (Official Musical)

Now United - Like That (Official Musical)

Morandi - Angels (Love Is The Answer) HQ

Morandi - Angels (Love Is The Answer) HQ

Peter Mottishaw: Finite size effects and replica symmetry breaking; ...

Peter Mottishaw: Finite size effects and replica symmetry breaking; ...

ТОП 5 ХУДШИХ БРАВЛЕРОВ | БРАВЛ СТАРС

ТОП 5 ХУДШИХ БРАВЛЕРОВ | БРАВЛ СТАРС

The Death of Socrates: How To Read A Painting

The Death of Socrates: How To Read A Painting

PKCZ® ft. CL & Afrojack - CUT IT UP (Official Video)

PKCZ® ft. CL & Afrojack - CUT IT UP (Official Video)

Looking to the Future - Mike Ault

Looking to the Future - Mike Ault

Catherine Howe - It's Not Likely

Catherine Howe - It's Not Likely

Como No Debes Conducir Tu Auto En 2019  Choques De Autos 2019

Como No Debes Conducir Tu Auto En 2019 Choques De Autos 2019

How to identify the notes of any song?

How to identify the notes of any song?

Matthew McConaughey Says Matt Damon's 'SNL' Impression Of Him Was 'Pretty Good' | Access

Matthew McConaughey Says Matt Damon's 'SNL' Impression Of Him Was 'Pretty Good' | Access

Are you liable to Tax Audit

Are you liable to Tax Audit