Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
am I the only one that thinks it should be "Category Theory"?
am I the only one that thinks it should be "Category Theory"?