Programming with Categories - Lecture 17

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.)

[tarikozkanli]

Thank you all for this excellent course.

[martinkjones]

Thanks to everyone for providing this course on-line! I really enjoyed it!

[isaacdefrain]

This course was incredible! Thank you for making it possible for us to come on this journey with you.

[lukaszstocki]

Thank you! Will definitely return to this course after some more Haskell under my belt :) I guess you need to give you self some time to let those ideas sink in :D

Once again thanks to you all! :D

[jmgimeno]

Thank you all for this amazing course.

[kscraja]

Million thanks !. Pushed me to imagine & ideate a lot :)

[kaushaltimilsina]

I feel like in the movie series "The matrix" (especially the first one), the system running around tracking defectors, and the defectors escaping (also in many simulation reality concept movies like Tron legacy); is like the competition between the parties to make certain diagram not commute and certain diagrams commute; and the whole notion of running around seems like switching commutativity on and off. Also I wonder if such and idea of commuting diagrams is used in Network Security. (Just getting a bit sci fi) .Thanks for sharing the really awesome course.

[michaelkohlhaas]

Sorry, but I felt asleep! Frigging boring!