It looks like you're new here. If you want to get involved, click one of these buttons!
Hi, I'm Will.
I am currently a PhD student in computer science. My focus is on the theory of algorithms, mostly applied to graph theory and computational topology.
I have been interested in category theory for about a year now. My current interests are in the applications of category theory to functional programming and logic. I've been self studying from some textbooks on topos theory for the past month.