-
About Me
I am now a PhD student at Cambridge doing topos theory and categorical logic.
For fun, I maintain a forester hosting some of my attempts at logical-geometry.
You can reach me via: ye dot lingyuan dot ac at gmail dot com :)
Lingyuan Ye 叶凌远
Will we know?
News
- I have a new preprint: Duality theory for categorical theories.
- I have a new preprint: Coexact completion of profinite Heyting algebras and uniform interpolation.
- I will give a plenary talk at CT2026. Find me there :)
- I gave a talk at PSSL 112 in Nottingham about synthetic quasi-coherence for coherent theories and Church’s thesis in sheaf topoi. [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.
Lingyuan Ye 叶凌远 