I went into more verbal detail in the actual presentation; the argument is something like:
1) Programming is maths
2) Programming is about abstraction and finding patterns
3) CT describes abstract patterns in maths, and is therefore directly applicable to everyday programming.
4) (Exposition of Categories, Functors, Monoids)
5) Comparison of the mathematical concepts to equivalent programming concepts
6) Composability is a huge advantage for software in the large and the small; categories and monoids capture the essence of composable patterns.
7) Abstraction is hugely important for software; it allows to only know what we need, and no more. Category Theory gives us deeper, and dare I say, simpler abstractions. We can find underlying patterns and commonalities that we might have missed otherwise.
1) Programming is maths 2) Programming is about abstraction and finding patterns 3) CT describes abstract patterns in maths, and is therefore directly applicable to everyday programming. 4) (Exposition of Categories, Functors, Monoids) 5) Comparison of the mathematical concepts to equivalent programming concepts 6) Composability is a huge advantage for software in the large and the small; categories and monoids capture the essence of composable patterns. 7) Abstraction is hugely important for software; it allows to only know what we need, and no more. Category Theory gives us deeper, and dare I say, simpler abstractions. We can find underlying patterns and commonalities that we might have missed otherwise.