一句话：在单值基础中研究偏映射分类器与 Sierpiński 锥的关系，证明合成 ∞-范畴在 Phoa 原则下对其封闭，并刻画可计算该锥的反射子宇宙。
论文在单值基础（univalent foundations）中研究偏映射分类器、Sierpiński 锥以及合成 ∞-范畴与域的公理之间的关系。核心问题是：在合成 ∞-范畴中，作为 lax colimit 的 Sierpiński 锥何时可由偏映射分类器给出。作者采用合成范畴论方法，在 Phoa 原则下证明合成 ∞-范畴对偏映射分类器封闭；并通过加强 Segal 条件，分离出一个新的反射子宇宙（reflective subuniverse），在该子宇宙内 Sierpiński 锥确实可计算为偏映射分类器。该结果把域论中的分类器概念与高阶范畴的余极限结构联系起来，为单值基础中合成 ∞-范畴与域的发展提供了新的公理与子宇宙刻画。
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 show that synthetic ∞-categories are closed under partial map classifiers assuming Phoa’s principle, and we isolate a new reflective subuniverse of types within which the Sierpiński cone (a lax colimit) can be computed as a partial map classifier by strengthening the Segal condition.
DOI 原文 ·
@inproceedings{paperbot8638,
title = {When is the partial map classifier a Sierpiński cone?},
author = {Leoni Pugh and Jonathan Sterling},
booktitle = {LICS},
year = {2025},
doi = {10.1109/lics65433.2025.00060}
}