-
About Me
I am now a PhD student at Cambridge doing topos theory and categorical logic, providing foundations of 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 gave a talk at PSSL 112 in Nottingham. Here are the slides.
- My paper Categorical structure in coherent theory of arithmetic has been 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 Jon Sterling came out.
- Our new preprint Logic and Concepts in the 2-category of Topoi with Ivan Di Liberti came out.
Lingyuan Ye 叶凌远 