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…