Member-only story
A course in Category Theory.
Part 1: “Definition and Examples.”
This story aims to give a well-founded introduction into category theory and to provide an overview about most common used concepts. It targets Computer Scientists as well as Software Developers who want to deepen their knowledge in this key area which is considered indispensable for understanding the core concepts of functional and logic programming.
Even if you are a practitioner of software development, having an understanding of category theory can have a huge positive effect on the way you code or solve complex problems.
Category theory is by nature a very abstract, if not the most abstract subject. The reason for this is that it tries to combine theories of other subjects into one big construct. If you are coming from software development, these thoughts will not sound unfamiliar to you: In coding one often tries to abstract certain things to make them available to a large as possible group of consumers and to avoid code replication at the same time. Category theory aims to provide the same.
