It looks like you're new here. If you want to get involved, click one of these buttons!
My name is Ariella and I am a functional programmer interested in theory of programming languages. I hope to eventually pursue graduate studies in theoretical computer science, particularly in probabilistic programming languages. I am interested in category theory's ability to create rigorous mathematical connections between seemingly unrelated topics.
This group seems like an excellent place to learn the basics of category theory! I am looking forward to trying to solve exercises and comparing my approach to others'.