It looks like you're new here. If you want to get involved, click one of these buttons!
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: