A pragmatic introduction to Category Theory

on YouTube ↗42m

" summary

Compact, pragmatic mapping of category theory to Scala: demonstrates how Functor, Applicative and Monad correspond to map, ap/pure and flatMap/flatten by implementing Maybe with map ap flatMap and verifying laws with property tests using ScalaCheck; shows practical examples (string->int->bool composition, Option concatenation and numeric monoids) and explains the core claim that a monad is a monoid in the category of endofunctors. All examples are implemented and the tests pass.

AI-written summary · about

" chapters (6)

1. 0:00Start
2. 3:01YOU DO NOT NEED TO KNOW CATEGORY THEORY TO WRITE
3. 4:08HOW DO WE REASON?
4. 4:55COMPOSITION ABSTRACTION
5. 5:45ARROW THEORY CATEGORY THEORY HOW THINGS COMPOSE
6. 34:10MONAD IS A MONOD IN THE CATEGORY OF ENDOFUNCTORS

" related talks

• 40mA Pragmatic Introduction to Category TheoriesDaniela Sfregola · Code Mesh 2017
• 41mA Pragmatic Introduction to Category TheoryDaniela Sfregola · Lambda World 2017
• 52mCategory Theory Through Functional Programming (part 1/3)Alejandro Serrano · LambdaConf Winter Retreat 2017
• 35mThe Functor, Applicative, Monad talkAdelbert Chang · Scale By the Bay 2017
• 32mClassical Category Theory in Plain ScalaVlad Patryshev · Scale By The Bay 2018
• 32mA practical introduction to category theoryDaniela Sfregola · Voxxed Days Zurich 2017
• 57mApplied category theory and abstract algebraGabriel Gonzales · LambdaConf Winter Retreat 2017
• 42mWhat did category theory do for us?Sergei Winitzki · Scale By The Bay 2019