Showing 2025Show all
3 papers · 1 filter
cs.LG2025
TRIDENT: A Trimodal Cascade Generative Framework for Drug and RNA-Conditioned Cellular Morphology Synthesis
Rui Peng, Ziru Liu, Lingyuan Ye +3
Accurately modeling the relationship between perturbations, transcriptional responses, and phenotypic changes is essential for building an AI Virtual Cell (AIVC). However, existing…
math.LO2025
Logic and Concepts in the 2-category of Topoi
Ivan Di Liberti, Lingyuan Ye
We use Kan injectivity to axiomatise concepts in the 2-category of topoi. We showcase the expressivity of this language through many examples, and we establish some aspects of the…
cs.LO2025
Domains and Classifying Topoi
Jonathan Sterling, Lingyuan Ye
We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain…