Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Reflexive graph lenses in univalent foundations
Jonathan Sterling
Martin-Löf's identity types provide a generic (albeit opaque) notion of identification or "equality" between any two elements of the same type, embodied in a canonical reflexive g…
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…
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…