Skip to content
0:00 / 0:00

#categorytheory#haskell

Teaser - Programming with Categories

Topos Institute

15K subscribers • 4 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.

Intermediate. Assumes working knowledge.

17K views6 years ago2 recommendations

Computer scienceProgramming languagesComputation and complexityFunctional programming

A brief introduction to the MIT lecture series on category theory and its applications to programming.

Teaser for the MIT lectures "Programming with Categories", with Brendan Fong, Bartosz Milewski and David Spivak

Why it's here

2 people recommend this

What people say. Recommended alongside the full lecture series as an excellent resource for learning category theory.

u/alphacentauriABin r/functionalprogramming • Recommends

On “Your relationship with Category Theory?”

[video this course goes a little fast but I think it's the best single resource along with the book. But this course and book are great as well [video I'm still on my path to understanding everything even after "completing" both those courses. I really need to sit down with Haskell CT libraries and monkey around with it all way more for it to really click. I understand a lot of what category theory is and how to describe it but not how to apply it and so I wouldn't say that I fully understand.

u/alphacentauriABin r/functionalprogramming • Recommends

On “Your relationship with Category Theory?”

[video [video I recommend the first one more so. Sorry I had more I wanted to say but I lost connection and lost what I said..

u/_jackdk_in r/haskell • Recommends

On “Which book do you recommend for Haskell and Mathematics?”

There's also the Topos Institute's course on programming with categories: link to this video