Clear all

Hello to All

Lingyuan Ye
Active Member
Joined: 1 year ago
Posts: 8
Topic starter  

Hello everyone! I'm Lingyuan Ye, currently an undergraduate student in Tsinghua University, China, majoring in mathematics and physics, also holding a minor degree in philosophy focusing on logic. This year I am also an exchange student at Oxford studying mathematics & philosophy.

I have a very broad interest in mathematics, logic, physics, philosophy, etc. But in a word, I'm always trying to find more conceptual ways we can think about these subjects, resulting in deepening our understanding.

I first come across topos in Prof. Caramello and Prof. Joyal's talks on categorical logic and topos in the conference Topos à I'IHÉS, which I immediately fell in love with this subject! After that, I've been following Sheaves in Geometry and Logic and some other references by myself. I'm still relatively new to this subject, and I am looking forward to studying from all of you here in this forum.

Morgan Rogers
Eminent Member
Joined: 1 year ago
Posts: 24

Hi Lingyuan! It's always nice to hear from a new student of topos theory.