• ClipSaver
  • dtub.ru
ClipSaver
Русские видео
  • Смешные видео
  • Приколы
  • Обзоры
  • Новости
  • Тесты
  • Спорт
  • Любовь
  • Музыка
  • Разное
Сейчас в тренде
  • Фейгин лайф
  • Три кота
  • Самвел адамян
  • А4 ютуб
  • скачать бит
  • гитара с нуля
Иностранные видео
  • Funny Babies
  • Funny Sports
  • Funny Animals
  • Funny Pranks
  • Funny Magic
  • Funny Vines
  • Funny Virals
  • Funny K-Pop

Emily Riehl Makes Infinity Categories Elementary скачать в хорошем качестве

Emily Riehl Makes Infinity Categories Elementary 10 месяцев назад

скачать видео

скачать mp3

скачать mp4

поделиться

телефон с камерой

телефон с видео

бесплатно

загрузить,

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Emily Riehl Makes Infinity Categories Elementary
  • Поделиться ВК
  • Поделиться в ОК
  •  
  •  


Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Emily Riehl Makes Infinity Categories Elementary в качестве 4k

У нас вы можете посмотреть бесплатно Emily Riehl Makes Infinity Categories Elementary или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

  • Информация по загрузке:

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Emily Riehl Makes Infinity Categories Elementary в формате MP3:


Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.ru



Emily Riehl Makes Infinity Categories Elementary

Emily Riehl, one of the world’s leading category theorists, shares her vision for making infinity category theory something undergrads can actually learn. In this talk, she breaks down how rethinking the foundations of math could change the way it’s taught and understood—and why it might redefine what math even is. As a listener of TOE you can get a special 20% off discount to The Economist and all it has to offer! Visit https://www.economist.com/toe Join My New Substack (Personal Writings): https://curtjaimungal.substack.com Listen on Spotify: https://tinyurl.com/SpotifyTOE Become a YouTube Member (Early Access Videos):    / @theoriesofeverything   Links: •⁠ ⁠Emily’s profile: https://emilyriehl.github.io/ •⁠ ⁠Emily’s presentation: https://emilyriehl.github.io/files/un... •⁠ ⁠A Type Theory For Synthetic ∞-Categories (paper): https://arxiv.org/pdf/1705.07442 •⁠ ⁠Could ∞-Category Theory Be Taught To Undergraduates? (paper): https://arxiv.org/pdf/2302.07855 •⁠ ⁠RZK proof assistant: https://rzk-lang.github.io/rzk/en/lat... •⁠ ⁠Lean Zulip chat: https://leanprover.zulipchat.com/#rec... Timestamps: 00:00 A Dream for the Future 01:55 Exploring Infinity Categories 03:54 The Role of Category Theory 10:17 Key Concepts of Category Theory 12:01 The Curry-Howard Correspondence 15:37 Understanding Left Adjoint Functors 24:38 The Innate Lemma Explained 38:29 Proving the Isomorphism 41:50 The Importance of Abstraction 44:04 A Crash Course in Category Theory 44:17 Introduction to Infinity Category Theory 56:27 Fundamental Infinity Groupoids 1:03:34 What Are Infinity Categories? 1:09:12 The Case for Infinity Categories 1:18:12 Transitioning to Homotopy Type Theory 1:22:49 Crash Course in Homotopy Type Theory 1:30:56 Type Constructors Explained 1:34:19 Propositions as Types 1:42:50 Understanding Dependent Types 1:49:01 Identity Types and Their Importance 1:54:03 The Structure of Infinity Groupoids 1:59:33 Hierarchies of Types 2:06:19 The Univalence Axiom 2:08:36 Transitioning to Infinity Category Theory 2:10:04 Simplicial Type Theory Overview 2:14:56 Pre-Infinity Categories Defined 2:24:32 Isomorphisms in Infinity Categories 2:31:48 Computer Formalization in Mathematics 2:40:02 Conclusion and Future Directions Support TOE on Patreon:   / curtjaimungal   Twitter:   / toewithcurt   Discord Invite:   / discord   #science

Comments
  • Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED 3 года назад
    Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED
    Опубликовано: 3 года назад
  • Math Talk!  Dr. Emily Riehl, to infinity categories and beyond. 3 года назад
    Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
    Опубликовано: 3 года назад
  • Универсальная конструкция | Теория категорий и почему мы заботимся 1.2 1 год назад
    Универсальная конструкция | Теория категорий и почему мы заботимся 1.2
    Опубликовано: 1 год назад
  • Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025 3 месяца назад
    Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
    Опубликовано: 3 месяца назад
  • MOSS Season 2, Seminar #1 - Danylo Radchenko: Sphere packing and modular forms 7 дней назад
    MOSS Season 2, Seminar #1 - Danylo Radchenko: Sphere packing and modular forms
    Опубликовано: 7 дней назад
  • This Physicist (Unexpectedly) Derived Gravity from Information 2 дня назад
    This Physicist (Unexpectedly) Derived Gravity from Information
    Опубликовано: 2 дня назад
  • How I became seduced by univalent foundations 3 года назад
    How I became seduced by univalent foundations
    Опубликовано: 3 года назад
  • #1 Homotopy Type Theory Explained: A New Foundation for Mathematics 5 месяцев назад
    #1 Homotopy Type Theory Explained: A New Foundation for Mathematics
    Опубликовано: 5 месяцев назад
  • A Sensible Introduction to Category Theory 3 года назад
    A Sensible Introduction to Category Theory
    Опубликовано: 3 года назад
  • Норман Вильдбергер: Проблема бесконечности в математике 4 года назад
    Норман Вильдбергер: Проблема бесконечности в математике
    Опубликовано: 4 года назад
  • The Life of Alexander Grothendieck & Topos Theory | Colin McLarty 1 год назад
    The Life of Alexander Grothendieck & Topos Theory | Colin McLarty
    Опубликовано: 1 год назад
  • A Sphere is a Loop of Loops (Visualizing Homotopy Groups) 9 месяцев назад
    A Sphere is a Loop of Loops (Visualizing Homotopy Groups)
    Опубликовано: 9 месяцев назад
  • WE MUST ADD STRUCTURE TO DEEP LEARNING BECAUSE... 1 год назад
    WE MUST ADD STRUCTURE TO DEEP LEARNING BECAUSE...
    Опубликовано: 1 год назад
  • Дарио Амодеи — «Мы близки к концу экспоненты» 5 дней назад
    Дарио Амодеи — «Мы близки к концу экспоненты»
    Опубликовано: 5 дней назад
  • Математики открывают странную новую бесконечность 2 месяца назад
    Математики открывают странную новую бесконечность
    Опубликовано: 2 месяца назад
  • Необычный способ понять гильбертовы пространства 1 месяц назад
    Необычный способ понять гильбертовы пространства
    Опубликовано: 1 месяц назад
  • Adaptix vs Pydantic: или почему код на Python может работать быстро? / Python Mentor Podcast #3 3 дня назад
    Adaptix vs Pydantic: или почему код на Python может работать быстро? / Python Mentor Podcast #3
    Опубликовано: 3 дня назад
  • Самая абстрактная область математики 3 месяца назад
    Самая абстрактная область математики
    Опубликовано: 3 месяца назад
  • Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018] 7 лет назад
    Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]
    Опубликовано: 7 лет назад
  • Kevin Buzzard - Where is Mathematics Going? (September 24, 2025) 4 месяца назад
    Kevin Buzzard - Where is Mathematics Going? (September 24, 2025)
    Опубликовано: 4 месяца назад

Контактный email для правообладателей: u2beadvert@gmail.com © 2017 - 2026

Отказ от ответственности - Disclaimer Правообладателям - DMCA Условия использования сайта - TOS



Карта сайта 1 Карта сайта 2 Карта сайта 3 Карта сайта 4 Карта сайта 5