It looks like you're new here. If you want to get involved, click one of these buttons!
I'm Josh, a PhD student in Computer Science at Oxford. I work on a variety of stuff using category theory, geometry, and topology. Right now, I'm thinking about (pre)sheaves in computational learning theory. I also worked on stuff related to the co-design chapter in David + Brendan's book. I'm really excited to see where this course goes!