Rigidification of quasi-categories

DOI10.2140/agt.2011.11.225zbMath1213.55015arXiv0910.0814OpenAlexW2085018767MaRDI QIDQ618740

Daniel Dugger, David I. Spivak

Publication date: 17 January 2011

Published in: Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0910.0814

zbMATH Keywords

mapping spaceinfinity categorysimplicial categorynecklacequasi-categoryrigidification

Mathematics Subject Classification ID

Special categories (18B99) Topological categories, foundations of homotopy theory (55U40)

Related Items (24)

Weighted limits in an \((\infty, 1)\)-category ⋮ The colimit of an $\infty$-local system as a twisted tensor product ⋮ Adams' cobar construction revisited ⋮ Higher weak (co)limits, adjoint functor theorems, and higher Brown representability ⋮ A relative 2-nerve ⋮ Homotopy coherent adjunctions and the formal theory of monads ⋮ Rigidification of quasi-categories ⋮ Mapping spaces in quasi-categories ⋮ Equivariant dendroidal sets and simplicial operads ⋮ A homotopy coherent nerve for \((\infty, n)\)-categories ⋮ Discreteness and completeness for \(\Theta_n\)-models of \((\infty, n)\)-categories ⋮ Unnamed Item ⋮ EQUIVALENCE OF MODELS FOR EQUIVARIANT (∞, 1)-CATEGORIES ⋮ Cubical rigidification, the cobar construction and the based loop space ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The comprehension construction ⋮ On the structure of simplicial categories associated to quasi-categories ⋮ Singular chains and the fundamental group ⋮ A combinatorial model for the path fibration ⋮ Simplicial Models for Concurrency ⋮ Functors (between \(\infty \)-categories) that aren't strictly unital ⋮ A stable \(\infty\)-category of Lagrangian cobordisms

Cites Work

• Rigidification of quasi-categories
• Function complexes in homotopical algebra
• Quasi-categories and Kan complexes
• Etale homotopy
• Homotopy limits, completions and localizations
• A model category structure on the category of simplicial categories
• Vogt's theorem on categories of homotopy coherent diagrams
• Geometry of loop spaces and the cobar construction
• Higher algebraic K-theory: I
• Higher Topos Theory (AM-170)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Rigidification of quasi-categories