Showing math.CTShow all
3 papers · 1 filter
math.CT2026
Hofmann-Streicher lifting of fibred categories
Andrew Slattery, Jonathan Sterling
In 1997, Hofmann and Streicher introduced an explicit construction to lift a Grothendieck universe from the category of sets into the category of set-valued presheaves on a small c…
math.CT2026
The Synthetic SierpiÅski Cone
Fredrik Bakke, Jonathan Sterling, Mark Damuni Williams +1
In domains, categories, and toposes, the SierpiÅski cone construction glues onto a space a universal closed point lying below all the other points. Although this is a lax colimit,…
math.CT2025
Tensorial structure of the lifting doctrine in constructive domain theory
Jonathan Sterling
We present a survey of the two-dimensional and tensorial structure of the lifting doctrine in constructive domain theory, i.e. in the theory of directed-complete partial orders (dc…