Many of you are programmers - and many of you use languages like Haskell that make explicit use of category-theoretic concepts. The course is _not_ mainly about programming. So, it's good to have a place specially for talking about
category theory in computer science. And that's this thread!

If you want to learn more, I recommend this:

* Bartosz Mileweski, _[Category Theory for Programmers](