Загрузка страницы
Все видеоНовые видеоПопулярные видеоКатегории видео

Category theory: a framework for reasoning

Help me keep making videos: http://paypal.me/mlbakermath

Class field theory seminar
2015-01-31
MC 5403
Speaker: Michael Baker
Video courtesy of Amanda Chan

http://csc.uwaterloo.ca/~mlbaker/w15

Видео Category theory: a framework for reasoning канала mlbaker
Показать
Комментарии отсутствуют
Введите заголовок:

Введите адрес ссылки:

Введите адрес видео с YouTube:

Зарегистрируйтесь или войдите с
Информация о видео
1 февраля 2015 г. 16:19:09
01:56:45
mlbaker
Теги
Правообладателям
Жалоба
Комментарии
Другие видео канала
Programming with Categories - Lecture 0Programming with Categories - Lecture 0Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020Saunders Mac Lane: "Mysteries and Marvels of Mathematics"Saunders Mac Lane: "Mysteries and Marvels of Mathematics"Category Theory, The essence of interface-based design - Erik MeijerCategory Theory, The essence of interface-based design - Erik MeijerTensors/tensor products demystifiedTensors/tensor products demystifiedClifford algebras and spin representations IClifford algebras and spin representations IComputational Type Theory [5/5] - Robert Harper - OPLSS 2018Computational Type Theory [5/5] - Robert Harper - OPLSS 2018Category Theory: Introduction to Category Theory 1Category Theory: Introduction to Category Theory 1"Categories for the Working Hacker" by Philip Wadler"Categories for the Working Hacker" by Philip WadlerCategory Theory For Beginners: Yoneda LemmaCategory Theory For Beginners: Yoneda LemmaElliptic curves and modular formsElliptic curves and modular formsTerence TAO: "Le Questionnaire du Cirm" - interview Behind the ScenesTerence TAO: "Le Questionnaire du Cirm" - interview Behind the ScenesLogic - Dedekind Cuts: Constructing ℝ from ℚLogic - Dedekind Cuts: Constructing ℝ from ℚAn introduction to the Choquet integralAn introduction to the Choquet integralType Theory for the Working Rustacean - Dan PittmanType Theory for the Working Rustacean - Dan PittmanComputational Type Theory [4/5] - Robert Harper - OPLSS 2018Computational Type Theory [4/5] - Robert Harper - OPLSS 2018Category Theory by Tom LaGattaCategory Theory by Tom LaGattaProgramming with Categories - Lecture 1Programming with Categories - Lecture 1Natural transformations 1Natural transformations 1
Статистика портала
Яндекс.Метрика
© 2008-2024 «Информационно-развлекательный портал города Верхняя Салда»
| Карта портала | Реклама | Контакты | Сообщить об ошибке | Соглашения
salda.ws salda.ws@mail.ru
Сейчас на сайте: 512 Статистика портала