It looks like you're new here. If you want to get involved, click one of these buttons!
I am interested to learn more about applied category theory! Currently, I am going through Bartosz Milewski's book Category Theory for Programmers.
I'm also the administrator for the forum.
It's great that people from the Programming with Categories course will be chatting here. Let me know if there is anything I can do to help. I have created a new category for this course.