# nLab straightening functor

Contents

### Context

#### $(\infty,1)$-Category theory

(∞,1)-category theory

Background

Basic concepts

Universal constructions

Local presentation

Theorems

Extra stuff, structure, properties

Models

This is a subentry of (∞,1)-Grothendieck construction.

# Contents

## Idea

When (∞,1)-categories are modeled as quasi-categories, the (∞,1)-Grothendieck construction takes the form of a Quillen equivalence between a model structure on sSet-enriched presheaves and a slice model structure of simplicial sets which has been introduced under the name straightening and unstraightening in Lurie 2009, Sec. 3.2:

Concretely, in the notation recalled at relation between quasi-categories and simplicial categories:

For a simplicial set $S$, simplicially enriched category $C$, and sSet-enriched functor $\mathfrak{C}[S] \to C$, there is a pair of adjoint functors

$(St_\phi\dashv Un_\phi) \;\colon\; sSet/S \xrightarrow{\;\; St \;\;} [C^{op}, sSet]$

which (under an assumption on the parameter $\phi$) can be shown to be a Quillen equivalence between

1. the slice category of sSet equipped with the model structure for right fibrations (also called contravariant model structure in HTT)

2. the category of simplicial presheaves equipped with global projective model structure.

There is also a Quillen equivalence

$(St_\phi \dashv Un_\phi) \;\colon\; sSet^+/S \stackrel{St}{\;\; \longrightarrow \;\;} [C^{op}, sSet^+]$

between

1. the global projective model structure on functors with values in the model structure on marked simplicial sets.

In both cases,

• $St_\phi$ is called the straightening functor

• $Un_\phi$ is called the unstraightening functor.

These names have been chosen due to the fact that objects in the left hand category are defined by existential assertions and choices where on the right side these properties become coherence laws being part of the structure.

## References

The original result is due to:

Further discussion:

Discussion internal to any (∞,1)-topos:

Last revised on November 15, 2022 at 09:42:04. See the history of this page for a list of all contributions to it.