Culf maps and edgewise subdivision
Philip Hackney, Joachim Kock

TL;DR
This paper establishes an equivalence between culf maps over any simplicial space and right fibrations over its edgewise subdivision, revealing new insights into the structure of decomposition spaces and their categorical properties.
Contribution
It proves a novel equivalence between culf maps and right fibrations over edgewise subdivisions, with two independent proofs and implications for decomposition spaces.
Findings
Equivalence between culf maps and right fibrations over sd(X)
Decomposition spaces form a locally an ∞-topos
Two new proofs using factorization systems and natural transformations
Abstract
We show that, for any simplicial space , the -category of culf maps over is equivalent to the -category of right fibrations over , the edgewise subdivision of . (When is a Rezk complete Segal or 2-Segal space, is the twisted arrow category of .) We give two proofs of independent interest; one exploiting comprehensive factorization and the natural transformation from the edgewise subdivision to the nerve of the category of elements, and another exploiting a new factorization system of ambifinal and culf maps, together with the right adjoint to edgewise subdivision. Using this main theorem, we show that the -category of decomposition spaces and culf maps is locally an -topos.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
