Programming with Categories - Lecture 0
Video lectures at MIT. See http://brendanfong.com/programmingcats.html
Lecturers: Brendan Fong, Bartosz Milewski, David Spivak
Summary: In this course we explain how category theory—a branch of mathematics known for its ability to organize the key abstractions that structure much of the mathematical universe—has become useful for writing elegant and maintainable code. In particular, we'll use examples from the Haskell programming language to motivate category-theoretic constructs, and then explain these constructs from a more abstract and inclusive viewpoint. Hands-on programming exercises will be used to demonstrate categorical ideas like "the universal property of products" in working Haskell code.
We will assume no background knowledge on behalf of the student, starting from scratch on both the programming and mathematics.
(Video: Paolo Perrone.)
Видео Programming with Categories - Lecture 0 канала Topos Institute
Lecturers: Brendan Fong, Bartosz Milewski, David Spivak
Summary: In this course we explain how category theory—a branch of mathematics known for its ability to organize the key abstractions that structure much of the mathematical universe—has become useful for writing elegant and maintainable code. In particular, we'll use examples from the Haskell programming language to motivate category-theoretic constructs, and then explain these constructs from a more abstract and inclusive viewpoint. Hands-on programming exercises will be used to demonstrate categorical ideas like "the universal property of products" in working Haskell code.
We will assume no background knowledge on behalf of the student, starting from scratch on both the programming and mathematics.
(Video: Paolo Perrone.)
Видео Programming with Categories - Lecture 0 канала Topos Institute
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Programming with Categories - Lecture 1David Spivak: Categorical DatabasesStanford Engineering Hero Lecture: Morris Chang in conversation with President John L. HennessyCategory Theory 1.1: Motivation and PhilosophyIf Programming Was An Anime Part 2"Categories for the Working Hacker" by Philip WadlerA Philosophy of Software Design | John Ousterhout | Talks at GoogleCategory Theory in Life - Eugenia ChengHarvard Lecture #1: ‘The Wisdom Of Miles Davis’Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020Computer Science ∩ Mathematics (Type Theory) - ComputerphileA Crash Course in Category Theory - Bartosz MilewskiYOW! Lambda Jam 2019 - Ken Scambler - Applied Category TheoryF(by) 2017. Bartosz Milewski - A Crash Course in Category Theory.Programming with Categories - Lecture 3Einstein's General Theory of Relativity | Lecture 1Honest Advice About Becoming a Self-Taught ProgrammerCategory theory: a framework for reasoningCategory Theory Lulz - Ken Scambler