# Rigidification of quasi-categories

@article{Dugger2009RigidificationOQ, title={Rigidification of quasi-categories}, author={Daniel Dugger and David I. Spivak}, journal={arXiv: Category Theory}, year={2009} }

We give a new construction for rigidifying a quasi-category into a simplicial category, and prove that it is weakly equivalent to the rigidification given by Lurie. Our construction comes from the use of necklaces, which are simplicial sets obtained by stringing simplices together. As an application of these methods, we use our model to reprove some basic facts from Lurie's "Higher Topos Theory" regarding the rigidification process.

#### 43 Citations

Rigidification and the Coherent Nerve for Enriched Quasicategories

- Mathematics
- 2018

We introduce, for \(\C\) a regular Cartesian Reedy category a model category whose fibrant objects are an analogue of quasicategories enriched in simplicial presheaves on \(C\). We then develop a… Expand

Mapping spaces in Quasi-categories

- Mathematics
- 2009

We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using this, together with our work on rigidification from [DS1],… Expand

Covariant Model Structures and Simplicial Localization

- Mathematics
- 2015

In this paper we prove that for any simplicial set $B$, there is a Quillen equivalence between the covariant model structure on $\mathbf{S}/B$ and a certain localization of the projective model… Expand

The colimit of an $\infty$-local system as a twisted tensor product

- Mathematics
- 2018

We describe several equivalent models for the infinity-category of infinity-local systems of chain complexes over a space using the framework of quasi-categories. We prove that the given models are… Expand

Homotopical presentations of braid groups via reduced lifts

- Mathematics
- 2021

In [De2], Deligne showed that the reduced lift presentation of a finite type generalized braid group remains correct if it is (suitably) interpreted as a presentation of a topological monoid. In this… Expand

On the structure of simplicial categories associated to quasi-categories

- Mathematics
- Mathematical Proceedings of the Cambridge Philosophical Society
- 2011

Abstract The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint are important to the study of (∞, 1)-categories because they provide a means for comparing two… Expand

The colimit of an ∞-local system as a twisted tensor product

- Mathematics
- 2020

We describe several equivalent models for the ∞-category of ∞-local systems of chain complexes over a space using the framework of quasi-categories. We prove that the given models are equivalent as… Expand

EQUIVALENCE OF MODELS FOR EQUIVARIANT (∞, 1)-CATEGORIES

- Mathematics
- Glasgow Mathematical Journal
- 2016

Abstract In this paper, we show that the known models for (∞, 1)-categories can all be extended to equivariant versions for any discrete group G. We show that in two of the models we can also… Expand

Fibrations in ∞-Category Theory

- Psychology
- 2018

In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations… Expand

Fibrations in $\infty$-category theory

- Mathematics
- 2016

In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations… Expand

#### References

SHOWING 1-10 OF 35 REFERENCES

Quasi-categories and Kan complexes

- Mathematics
- 2002

A quasi-category X is a simplicial set satisfying the restricted Kan conditions of Boardman and Vogt. It has an associated homotopy category hoX. We show that X is a Kan complex iff hoX is a… Expand

Mapping spaces in Quasi-categories

- Mathematics
- 2009

We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using this, together with our work on rigidification from [DS1],… Expand

A model category structure on the category of simplicial categories

- Mathematics
- 2004

In this paper we put a cofibrantly generated model category struc- ture on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of… Expand

Higher Topos Theory

- Mathematics
- 2009

This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the… Expand

Function complexes in homotopical algebra

- Mathematics
- 1980

1 .l Summary IN [l] QUILLEN introduced the notion of a model category (a category together with three classes of maps: weak equivalences, fibrations and cofibrations, satisfying certain axioms (1.4… Expand

Homotopy Limits, Completions and Localizations

- Mathematics
- 1987

Completions and localizations.- The R-completion of a space.- Fibre lemmas.- Tower lemmas.- An R-completion of groups and its relation to the R-completion of spaces.- R-localizations of nilpotent… Expand

Model categories and their localizations

- Mathematics
- 2003

Localization of model category structures: Summary of part 1 Local spaces and localization The localization model category for spaces Localization of model categories Existence of left Bousfield… Expand

Sur la notion de diagramme homotopiquement cohérent

- Mathematics
- 1982

© Andrée C. Ehresmann et les auteurs, 1982, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les… Expand

Lecture Notes in Math

- Mathematics
- 1984

Une notion très importante pour la géometrie algébrique est celle de fibré projectif. Si f : X → S est un morphisme lisse entre variétés algébriques lisses, dont toute fibre est isomorphe à P, on se… Expand

The theory of quasi-categories

- Preprint
- 2008