Abstract homotopy theory and applications, , Grisha Taroyan.

topic: logical preliminaries of topos theory

1 view

160

3 months ago 01:11:49 1

3 months ago 01:15:15 1

Abstract homotopy theory and applications , Grisha Taroyan.

3 months ago 00:50:38 1

Abstract homotopy theory and applications. , Grisha Taroyan.

3 months ago 01:23:55 1

Abstract homotopy theory and applications, , Grisha Taroyan.

3 months ago 01:17:04 1

Abstract homotopy theory and applications, , Grisha Taroyan.

3 months ago 01:23:42 1

Abstract homotopy theory and applications, , Grisha Taroyan.

3 months ago 01:22:43 1

Abstract homotopy theory and applications, Grisha Taroyan.

3 months ago 01:06:24 1

Abstract homotopy theory and applications, , Grisha Taroyan.

3 months ago 01:17:08 1

Abstract homotopy theory and applications, , Grisha Taroyan.

3 months ago 01:35:05 1

Abstract homotopy theory and applications. , Misha Kornev, sheaves of sets - 2

3 months ago 01:23:58 1

Abstract homotopy theory and applications, . Misha Kornev, sheaves of sets - 1

3 months ago 01:29:20 1

Abstract homotopy theory and applications. . Misha Kornev, Kan extensions, additional remarks

3 months ago 01:19:46 1

Abstract homotopy theory and applications. , Grisha Taroyan.

1 year ago 01:23:51 1

The Fokker-Planck formalism for closed bosonic strings by Nobuyuki Ishibashi

1 year ago 01:30:37 1

Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)

3 years ago 01:03:37 1

Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)

3 years ago 00:04:52 6

Introduction to Homotopy Theory- Part 5- Transition to Abstract Homotopy Theory

8 years ago 01:00:35 29

3 01 A Functional Programmer’s Guide to Homotopy Type Theory

9 years ago 01:04:38 13

Quadratic forms and Bott periodicity | Max Karoubi | Лекториум