shadowphexon Lobsters • Recommends
A monad is a monoid in the category of endofunctors. Whats the problem?
0:00 / 0:00
#monads#category-theory#functors
A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2
A Byte of Code
21K subscribers • 2 videos on Hallway
- Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
Intermediate. Assumes working knowledge.
134K views4 years ago2 recommendations
Computer scienceProgramming languagesFunctional programmingComputation and complexityHaskell
An explanation of the mathematical concepts behind the famous definition of a monad using category theory, functors, and monoids.
You may have heard that a monad is a monoid in the category of endofunctors, but what does that actually mean? In this video, you'll learn the basics of category theory and understand the infamous sentence! This is my entry to the summer of math exposition round 2 hosted by @3blue1brown.Why it's here
2 people recommend thisWhat people say. Recommended as an accessible and visual explanation of the category theory definition of monads.
u/simpl3t0nin r/haskell • Recommends
A monad is a monoid in the category of endofunctors. Whats the problem?