On straightening for Segal spaces

Joost Nuiten

On straightening for Segal spaces

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2108.11431 v2 pith:IQ3J246B submitted 2021-08-25 math.CT math.AT

On straightening for Segal spaces

Joost Nuiten This is my paper

classification math.CT math.AT

keywords categoriescocartesiancorrespondencefibrationshigherinftystraighteningstraightening-unstraightening

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

read the original abstract

The straightening-unstraightening correspondence of Grothendieck--Lurie provides an equivalence between cocartesian fibrations between $(\infty, 1)$-categories and diagrams of $(\infty, 1)$-categories. We provide an alternative proof of this correspondence, as well as an extension of straightening-unstraightening to all higher categorical dimensions. This is based on an explicit combinatorial result relating two types of fibrations between double categories, which can be applied inductively to construct the straightening of a cocartesian fibration between higher categories.

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Fibrations in Oriented Category Theory
math.AT 2026-07 conditional novelty 6.0

The paper establishes several equivalent characterizations of fibrations of (∞,∞)-categories, shows the category of fibrations forms an oriented category, and constructs free, universal, and Grothendieck-construction ...