# VIDEO - Programming with Math (Exploring Type Theory) - Bartosz Milewski - [Programming with Math (Exploring Type Theory) - YouTube](https://www.youtube.com/watch?v=8AGWTWVOJ74) General purpose high-level introduction to [[Type systems|Type Theory]] by [[Bartosz Milewski]]. ## Notes There is a great slide about the power of [[Composition]]. Bartosz states that in a systematic approach, you want to decompose a problem into primitive parts, and then "recompose" the solution. Bartosz has written more about [[Composition]] in [Category: The Essence of Composition |   Bartosz Milewski's Programming Cafe](https://bartoszmilewski.com/2014/11/04/category-the-essence-of-composition/#:~:text=To%20summarize%3A%20A%20category%20consists,as%20a%20unit%20under%20composition.) Mathematical theories to study composition: - [[Type systems|Type Theory]] - [[Logic]] - [[Category Theory]]