-
About Me
I started my PhD under Jon Sterling at Cambridge doing topos theory, categorical logic, and synthetic mathematics.
You can check out my publication and my background.
You can reach me via: ye dot lingyuan dot ac at gmail dot com :)
Lingyuan Ye 叶凌远
Will we know?
News
- I will give a talk at PSSL 112 in Nottingham. Find and talk to me there!
- My paper Categorical structure in coherent theory of arithmetic will be published in Theoretical Computer Science.
- My new preprint Craig Interpolation for Subgeometric Logics with Ivan Di Liberti is out.
- My master thesis was awarded the VvL master thesis award.
- I now have a forester hosting an online version of my thoughts on logical-geometry (currently only for propositional logic).
- Our new preprint Domains and Classifying Topoi with my PhD supervisor Jon Sterling came out.
- Our new preprint Logic and Concepts in the 2-category of Topoi with Ivan Di Liberti came out.
Lingyuan Ye 叶凌远 