Category Theory in Life - Eugenia Cheng

There is an applied category theory course that is currently in the process of wrapping up: [link] The examples in the course offer a complementary entry point to category theory compared to an approach that leverages programmers' knowledge of functional programming. Personally, the more examples the better. I'm grateful to be able to rely on the example of a category as a collection of objects corresponding to types, and arrows between types corresponding to functions with that type signature, and arrow composition corresponding to function composition (and functors, and natural transformations, and ... corresponding to familiar concepts like polymorphic types, and map, and polymorphic functions and ...). I believe that many programmers can [come to] understand this one specific example of category theory objects, even if the words are unfamiliar. And there are so many more examples! There is a great pleasure in formalizing the analogies across different aspects of math and engineering. To get a flavor of and gentle introduction to the analogy-making power of category theory, I recommend this talk by Eugenia Cheng: [this video]