The Synthetic Sierpiński Cone

Fredrik Bakke, Jonathan Sterling, Mark Damuni Williams, Lingyuan Ye

arXivarxiv/2605.00773May 1, 2026math.CTscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2605.00773
curl -X POST /api/v1/records/arxiv/2605.00773/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.00773/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'