It looks like you're new here. If you want to get involved, click one of these buttons!
Howdy! I'm a philosopher and logician by trade. I've found that learning a bit of algebra has been really helpful for my thinking about logic over the years, and I have some suspicion that category theory will be helpful as well. This seems like a good bunch of people to learn from and with, so here I am!