1 citations · 1 across the 8 of their papers we have counts for
Showing 2025 · cs.LOShow all
2 papers · 2 filters
cs.LO2025
When is the partial map classifier a Sierpiński cone?
Leoni Pugh, Jonathan Sterling
We study the relationship between partial map classifiers, Sierpiński cones, and axioms for synthetic higher categories and domains within univalent foundations. In particular, we…
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…