Aren't you tired of just nodding along when your friends start talking about morphisms? Do you feel left out when your coworkers discuss a coproduct endofunctor?



From the dark corners of mathematics to a programming language near you, category theory offers a compact but powerful set of tools to build and reason about programs.



What's a category? What's a functor? This talks aims to present the basic concepts, how they relate to everyday coding, and why they matter.



Next time, you too can be the soul of the party and impress your friends with category theory!*



*(results may vary)



Gabriel Claramunt (@gclaramunt) was a happy enterprise

developer until he found Scala and ruined his life. Now he

wanders around mumbling strange words like "functors"

and "curry-howard".