Тёмный

Dan Christensen: "Reasoning in an ∞-topos with homotopy type theory" 

Topos Institute
Подписаться 12 тыс.
Просмотров 3,1 тыс.
50% 1
ВидеоПоделитьсяСкачатьДобавить в

Опубликовано:

 

21 окт 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 1   
@fbkintanar
@fbkintanar 3 года назад
Great talk.
Далее
John Baez: "Mathematics in the 21st century"
1:24:47
John Baez: "Mathematics in the 21st century"
Просмотров 9 тыс.
André Joyal: "Higher topos theory and Goodwillie Calculus"
1:14:11
André Joyal: "Higher topos theory and Goodwillie Calculus"
Просмотров 1,5 тыс.
كانت قادرة على إنقاذ نفسها وحذائها🤭👠
00:20
كانت قادرة على إنقاذ نفسها وحذائها🤭👠
Просмотров 3,7 млн
Палестинская девочка принесла на себе в больницу раненую сестренку
00:40
Палестинская девочка принесла на себе в больницу раненую сестренку
Просмотров 222 тыс.
【斗罗大陆】唐老六电量不足，谁能来救救她啊！#斗罗大陆#唐老六#小舞
00:38
【斗罗大陆】唐老六电量不足，谁能来救救她啊！#斗罗大陆#唐老六#小舞
Просмотров 10 млн
Handsoms😍💕
00:15
Handsoms😍💕
Просмотров 4 млн
Evan Patterson: "A Short Introduction to Categorical Logic"
23:00
Evan Patterson: "A Short Introduction to Categorical Logic"
Просмотров 6 тыс.
David McAllester - Dependent Type Theory from the Perspective of Mathematics, Physics, and (...)
51:03
David McAllester - Dependent Type Theory from the Perspective of Mathematics, Physics, and (...)
Просмотров 1,9 тыс.
Towards elementary infinity-toposes - Michael Shulman
1:03:29
Towards elementary infinity-toposes - Michael Shulman
Просмотров 2,4 тыс.
Amélia Liao: "Cubical types for the working formalizer"
1:04:05
Amélia Liao: "Cubical types for the working formalizer"
Просмотров 962
Category Theory: An Introduction to Abstract Nonsense
14:51
Category Theory: An Introduction to Abstract Nonsense
Просмотров 68 тыс.
Alex Simpson: "Three toposes for probability and randomness"
59:41
Alex Simpson: "Three toposes for probability and randomness"
Просмотров 1 тыс.
The story of mathematical proof - with John Stillwell
44:04
The story of mathematical proof - with John Stillwell
Просмотров 60 тыс.
Chris Fields: "What is the Identity operator?"
1:00:10
Chris Fields: "What is the Identity operator?"
Просмотров 1,1 тыс.
A Crash Course in Category Theory - Bartosz Milewski
1:15:14
A Crash Course in Category Theory - Bartosz Milewski
Просмотров 90 тыс.
Abstract Algebra in Homotopy-Coherent Mathematics - Jacob Lurie
50:38
Abstract Algebra in Homotopy-Coherent Mathematics - Jacob Lurie
Просмотров 5 тыс.
كانت قادرة على إنقاذ نفسها وحذائها🤭👠
00:20
كانت قادرة على إنقاذ نفسها وحذائها🤭👠
Просмотров 3,7 млн