Category Theory Track by Bartosz Milewski Part 1

on YouTube ↗01h 29m

" summary

Translates category-theory universal constructions into concrete Haskell code, showing how unit type / terminal object maps to the polymorphic unit function, how products are implemented via (&&&) from Control.Arrow with first/second and toProd correspondences, and how sums use either for sums with pattern-match elimination. Demonstrates the one‑to‑one adjunction between pairs of functions and a function into a product, yields point‑free implementations (map for product), and builds the distributivity arrow as executable GHC code.

AI-written summary · about

" chapters (9)

1. 0:00Category theory and Haskell intro
2. 7:31Arrows and functions
3. 11:49Terminal object in Haskell
4. 23:15Universal constructions and products
5. 39:52Break and functors intro
6. 48:35Adjunctions and point-free
7. 1:00:05Left and right adjoints
8. 1:13:26Distributivity and algebraic data types
9. 1:28:30Mapping out of product

" related talks

• 52mCategory Theory Through Functional Programming (part 1/3)Alejandro Serrano · LambdaConf Winter Retreat 2017
• 51mCategory Theory for the Working HackerPhilip Wadler · Lambda World 2016
• 57mApplied category theory and abstract algebraGabriel Gonzales · LambdaConf Winter Retreat 2017
• 54mCategory Theory Through Functional Programming (part 3/3)Alejandro Serrano · LambdaConf Winter Retreat 2017
• 56mCategory Theory Through Functional Programming (part 2/3)Alejandro Serrano · LambdaConf Winter Retreat 2017
• 01h 11mCategories for the Working HackerPhilip Wadler · Lambda Days 2018
• 02h 24mCategory Theory TrackRichard Southwell · ZuriHac 2025
• 42mA pragmatic introduction to Category TheoryDaniela Sfregola · Scala Days Berlin 2018