Скачать с ютуб видео Lean Together 2025: Emily Riehl, The ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Lean Together 2025: Emily Riehl, The ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory в качестве 4k

У нас вы можете посмотреть бесплатно Lean Together 2025: Emily Riehl, The ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

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

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Lean Together 2025: Emily Riehl, The ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory в формате MP3:

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

Lean Together 2025: Emily Riehl, The ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory

(Full title: The ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory in Lean). The ∞-cosmos project aims to leverage the existing libraries developing 1-category theory, 2-category theory, and enriched (V-)category theory in Lean to formalize basic ∞-category theory. After giving a high-level overview of the problem, plan, and progress of the project (so far), we illustrate some challenges related to the formalization of the supporting results from 1-category theory, 2-category theory, and enriched (V-)category theory that we have encountered thus far in hopes of attracting interest from folks who want to help us solve them.

Comments