* Homotopy Type Theory (updated 2024-11-30) ~ youtor.org

Homotopy Type Theory (updated 2024-11-30)

Category Theory III 12 Overview part 2 [upl. by Christina]

Category Theory III 12 Overview part 2

Duration: 28:12
4.3K views | 23 Jul 2018

ECI 2021 Curso M2 Introduction to Homotopy Type Theory D1P1 [upl. by Anavoj185]

ECI 2021 Curso M2 Introduction to Homotopy Type Theory D1P1

Duration: 1:22:14
499 views | 5 Aug 2021

Univalent Double Categories Nima Rasekh [upl. by Howlan]

Univalent Double Categories Nima Rasekh

Duration: 30:41
31 views | 7 months ago

Tangent bundles and Euler classes Ulrik Buchholtz [upl. by Enimsaj29]

Tangent bundles and Euler classes Ulrik Buchholtz

Duration: 25:15
21 views | 7 months ago

ECI 2021 Course M2 Introduction to Homotopy Type Theory D2P1 [upl. by Haslett]

ECI 2021 Course M2 Introduction to Homotopy Type Theory D2P1

Duration: 1:30:15
60 views | 5 Aug 2021

Internal and Observational Parametricity for Cubical Agda Antoine Van Muylder [upl. by Ramaj]

Internal and Observational Parametricity for Cubical Agda Antoine Van Muylder

Duration: 26:24
11 views | 7 months ago

EckmannHilton and the Hopf Fibration Raymond Baker [upl. by Zenitram]

EckmannHilton and the Hopf Fibration Raymond Baker

Duration: 25:38
232 views | 7 months ago

Logic of Irreversible Reasoning Directed Type Theory and Its Philosophical Significance [upl. by Annayar561]

Logic of Irreversible Reasoning Directed Type Theory and Its Philosophical Significance

Duration: 1:06:11
88 views | 5 months ago

Structured Frobenius for Fibrations Defined from a Generic Point Sina Hazratpour [upl. by Ronal]

Structured Frobenius for Fibrations Defined from a Generic Point Sina Hazratpour

Duration: 27:25
11 views | 7 months ago

Towards Higher Inductive Types [upl. by Thorpe]

Towards Higher Inductive Types

Duration: 51:29
56 views | 21 Mar 2022

the cartesian product type theory vs set theory [upl. by Meek747]

the cartesian product type theory vs set theory

Duration: 7:53
1.5K views | 9 Oct 2021

Evan Cavallo Formalizing cubical interpretations of homotopy type theory [upl. by Aihsenrad]

Evan Cavallo Formalizing cubical interpretations of homotopy type theory

Duration: 55:13
316 views | 27 Mar 2021

Extending Homotopy Type Theory with Linear Type Formers [upl. by Lalat]

Extending Homotopy Type Theory with Linear Type Formers

Duration: 1:22:15
10.9K views | 19 May 2014

Thorsten Altenkirch 12 Towards a Syntax for Cubical Type Theory [upl. by Ahsille128]

Thorsten Altenkirch 12 Towards a Syntax for Cubical Type Theory

Duration: 1:17:33
7.9K views | 26 Jan 2015

A survey of Univalent Foundations by Eric Finster November 13th 2014 [upl. by Weld]

A survey of Univalent Foundations by Eric Finster November 13th 2014

Duration: 1:34:14
4.6K views | 8 Dec 2013

Type Theory Foundations Lecture 3 [upl. by Aihsrop208]

Type Theory Foundations Lecture 3

Duration: 1:18:11
700 views | 2 Feb 2016

Intuitionism and Constructive Mathematics 22 [upl. by Akiwak372]

Intuitionism and Constructive Mathematics 22

Duration: 1:46:16
861 views | 19 Nov 2014

Neil Strickland Proof assistants as a routine tool [upl. by Ailina]

Neil Strickland Proof assistants as a routine tool

Duration: 52:24
2.8K views | 2 Apr 2021

Dan Christensen quotReasoning in an ∞topos with homotopy type theoryquot [upl. by Alahs438]

Dan Christensen quotReasoning in an ∞topos with homotopy type theoryquot

Duration: 1:17:56
3.5K views | 19 Nov 2014

Dan Licata Cubical infinitedimensional type theory [upl. by Flowers]

Dan Licata Cubical infinitedimensional type theory

Duration: 1:05:39
471 views | 22 Nov 2014

Peter LeFanu Lumsdaine Coherence constructions for dependent type theories [upl. by Biron]

Peter LeFanu Lumsdaine Coherence constructions for dependent type theories

Duration: 1:13:24
62 views | 7 months ago

A Sampling of Synthetic 1Category Theory Jacob Neumann [upl. by Notniw]

A Sampling of Synthetic 1Category Theory Jacob Neumann

Duration: 31:10
273 views | 3 weeks ago

Tashi Walde An axiomatization of synthetic category theory [upl. by Intihw]

Tashi Walde An axiomatization of synthetic category theory

Duration: 1:19:35
316 views | 5 Nov 2020

Nima Rasekh Filter products and elementary models of homotopy type theory [upl. by Hendrickson373]

Nima Rasekh Filter products and elementary models of homotopy type theory

Duration: 1:07:33
731 views | 7 Feb 2019

Nima Rasekh Algebraic topology in an elementary higher topos [upl. by Drusie]

Nima Rasekh Algebraic topology in an elementary higher topos

Duration: 1:26:13
1.1K views | 11 Nov 2018

Homotopy of paths [upl. by Ardnaid940]

Homotopy of paths

Duration: 23:54
7.4K views | 25 Aug 2017

Introduction à la théorie dhomotopie [upl. by Ylrebme]

Introduction à la théorie dhomotopie

Duration: 4:55
6.6K views | 26 Jan 2021

Foundations 6 Simple Type Theory [upl. by Gorrono]

Foundations 6 Simple Type Theory

Duration: 2:14:49
2.2K views | 28 May 2021

Michael Shulman quotTwodimensional semantics of homotopy type theoryquot [upl. by Nnitsuj]

Michael Shulman quotTwodimensional semantics of homotopy type theoryquot

Duration: 1:19:41
2.3K views | 19 Nov 2014

Chris Kapulkin Type theory and locally cartesian closed quasicategories [upl. by Asset827]

Chris Kapulkin Type theory and locally cartesian closed quasicategories

Duration: 1:07:19
|

Our site allows you to download your favorite videos in MP3 (audio) or MP4 (video) format in the most efficient way. You can find your favorite videos using "search" to download them.

New on site

Content Report
youtor.org / Youtor Videos converter © 2024