(I figured I have to use the same topic title as everyone else right?)

Hi! My name is Liam Chung, and I'm in my last year of undergraduate studies at McGill University. I'm studying Math and Computer Science.

At this time I'm not altogether very familiar with toposes... I have spent significant time learning category theory, and I'm looking to use it as an in-road to learn about toposes. So I guess to that end, here's a non-exhaustive lists of topics I've yet to learn about, but hope to really soon:

- Yoneda Lemma (covered it, proved it, I have no idea what it means)

- Model theory (beyond an intro to logic class level)

- Category theory and functional programming together (I understand what I think is just a superficial level, but I'd love any book recommendations that go a bit deeper!)

- Presheaves, sheaves, and toposes

Besides these things, some things that I actually do know something about and enjoy:

- Group theory

- Philosophy of mathematics / foundations of mathematics (both philosophical and logical)

- Category theory

So yeah! It's a pleasure to be here, I'm hoping to start a reading group for a basic book like Topoi by Goldblatt, but I'd appreciate any recommendations!