Elementary Category Theory and Some Insightful Examples
Автор: NYC Haskell User's Group
Загружено: 2016-08-11
Просмотров: 2940
Eddie Grutman
New York Haskell Meetup (http://www.meetup.com/NY-Haskell/even...)
July 27, 2016
It turns out that much of Haskell can be understood through a branch of mathematics called Category Theory. Concepts such as Functor, Adjoints, Monads and others all have a basis in the Category Theory. In this talk, basic categorical concepts, starting with categories and building through functors, natural transformations, and universality, will be introduced. To illustrate these, some mathematical concepts such as homology and homotopy, monoids and groups will be discussed as well (proofs omitted).
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: