2019-02-26-First_Intuition_of_Category_Theory

First Intuition of Category Theory

In Scala programming, we do andThen, map, or flapMap many times but without thinking about what they are originally. Maybe you have tried to study materials which talk about Composition, Functor, and Monad. Either understanding or ignoring, it seems does not bother your daily code job. Actually, it does matter something deeply.

In this talk, I will show you a straightforward perspective of relation between functional programming and Category theory. Grasping category theory ideas intuitively rather than obscure thought and hard to link to programming.

reference

1. Bartosz Milewski – Category theory for programmer
   1. Category Theory 1.2: What is a category?
      1. https://www.youtube.com/watch?v=p54Hd7AmVFU&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_&index=2
   2. Category Theory 6.1: Functors
      1. https://www.youtube.com/watch?v=FyoQjkwsy7o&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_&index=11
   3. Category Theory 9.1: Natural transformations
      1. https://www.youtube.com/watch?v=2LJC-XD5Ffo&index=17&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
2. Category Theory for Programmers: The Preface
   1. https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/