{"id":"arxiv/2605.00773","url":"https://arxiv.org/abs/2605.00773","tags":["math.CT","cs.LO"],"score":0,"title":"The Synthetic Sierpiński Cone","domain":"math.CT","source":"arxiv","authors":["Fredrik Bakke","Jonathan Sterling","Mark Damuni Williams","Lingyuan Ye"],"reviews":0,"subject":"math.CT","summary":"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, it also enjoys a well-known right-handed universal property: the Sierpiński cone classifies partial maps defined on an open subspace. The situation proves more subtle in synthetic models of space based on extending homotopy type theory with an interval, as in several recent approaches to synthetic higher categories and domains: although globally it may well be the case that the Sierpiński cone classifies partial…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-01","reactions":{}}