By Brendan Fong, Bartosz Milewski and David Spivak
Course teaser (non-technical)
These discussions on the Azimuth Forum each begin with the MIT lecture video and link to David Dalrympleâ€™s class notes.
Lecture 0 - Welcome to programming with categories - Brendan, David, Bartosz
Lecture 6 - Terminal and initial objects; products - Brendan
Lecture 7 - Universal properties: products, coproducts and exponentials - David
Lecture 8 - Natural transformations, currying and adjunctions - Bartosz and Brendan
Lecture 9 - Recursion, algebras and F-algebras - Bartosz and Brendan
Lecture 14 - Monads from the perspective of a programmer - Bartosz
Discussions on the Azimuth Forum: