1 citations · 1 across the 8 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
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…
cs.LO2024
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 gr…