My talk at LambdaConf last year. Practical category theory refactoring couched in the language of middle school Algebra. https://www.youtube.com/watch?v=Mhw4FD0

My talk at LambdaConf last year. Practical category theory refactoring couched in the language of middle school Algebra. https://www.youtube.com/watch?v=Mhw4FD0pCU8 https://www.youtube.com/watch?v=Mhw4FD0pCU8 We learned sums (a+b) and products (a*b) well. The leap is understanding that exponents count function spaces a->b.