HoTT Lectures

941 subscribers

23 videos

View on YouTube

I did not create any of the content on this channel. Refer to the video descriptions for sources.

Latest Videos

20 Functors

20 Functors

HoTT Lectures

593 views·5 years ago

21 Inductive Types

21 Inductive Types

HoTT Lectures

753 views·5 years ago

22 Higher Inductive Types

22 Higher Inductive Types

HoTT Lectures

591 views·5 years ago

23 Pushouts

23 Pushouts

HoTT Lectures

496 views·5 years ago

10 Groupoid Structure of Types

10 Groupoid Structure of Types

HoTT Lectures

1.3K views·5 years ago

11 Functoriality

11 Functoriality

HoTT Lectures

1.1K views·5 years ago

13 Path Structure of Types

13 Path Structure of Types

HoTT Lectures

738 views·5 years ago

14 Identity Elimination

14 Identity Elimination

HoTT Lectures

642 views·5 years ago

15 Sets and Propositions

15 Sets and Propositions

HoTT Lectures

592 views·5 years ago

16 ITT

16 ITT

HoTT Lectures

499 views·5 years ago

17 Hedberg's Theorem

17 Hedberg's Theorem

HoTT Lectures

504 views·5 years ago

18 Contractability

18 Contractability

HoTT Lectures

440 views·5 years ago

12 Equivalences

12 Equivalences

HoTT Lectures

867 views·5 years ago

19 Quasi Inverse

19 Quasi Inverse

HoTT Lectures

417 views·5 years ago

01 Course Introduction

01 Course Introduction

HoTT Lectures

19.0K views·5 years ago

02 Judgements

02 Judgements

HoTT Lectures

7.6K views·5 years ago

03 Transitivity

03 Transitivity

HoTT Lectures

4.3K views·5 years ago

04 Exponentials

04 Exponentials

HoTT Lectures

2.8K views·5 years ago

05 Equality

05 Equality

HoTT Lectures

2.3K views·5 years ago

06 IPL

06 IPL

HoTT Lectures

2.0K views·5 years ago

07 Dependent Types

07 Dependent Types

HoTT Lectures

1.9K views·5 years ago

08 Transport

08 Transport

HoTT Lectures

1.6K views·5 years ago

09 Universes

09 Universes

HoTT Lectures

1.2K views·5 years ago

HoTT Lectures - NatokHD | NatokHD