Mapping spaces in quasi-categories
From MaRDI portal
Publication:618741
DOI10.2140/agt.2011.11.263zbMath1214.55013arXiv0911.0469MaRDI QIDQ618741
David I. Spivak, Daniel Dugger
Publication date: 17 January 2011
Published in: Algebraic \& Geometric Topology (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0911.0469
homotopy function complex; mapping space; infinity category; simplicial category; Dwyer-Kan; Joyal model structure; quasi-category
Related Items
Unnamed Item, Topological modular forms with level structure: Decompositions and duality, The six-functor formalism for rigid analytic motives, A counterexample in quasi-category theory, A criterion for existence of right‐induced model structures, The colimit of an $\infty$-local system as a twisted tensor product, Induced model structures for higher categories, Fibrations and Yoneda's lemma in an \(\infty\)-cosmos, Comparison of models for \((\infty , n)\)-categories. I, Univalence in locally Cartesian closed categories, On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads, Iterated spans and classical topological field theories, Cubical rigidification, the cobar construction and the based loop space, A universal characterization of higher algebraic \(K\)-theory, Quasicategories of frames of cofibration categories, Comparison of Waldhausen constructions, Joyal's cylinder conjecture, Adams' cobar construction revisited, Higher weak (co)limits, adjoint functor theorems, and higher Brown representability, A homotopy coherent cellular nerve for bicategories, Recognizing quasi-categorical limits and colimits in homotopy coherent nerves, Descent theory and mapping spaces, Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads, Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads, The 2-category theory of quasi-categories, Waldhausen additivity: classical and quasicategorical, Categorical models for path spaces, The comprehension construction, Weak model categories in classical and constructive mathematics
Uses Software
Cites Work
- Unnamed Item
- Rigidification of quasi-categories
- Function complexes in homotopical algebra
- Simplicial localizations of categories
- Calculating simplicial localizations
- Homotopy invariant algebraic structures on topological spaces
- Quasi-categories and Kan complexes
- Homotopy limits, completions and localizations
- Spectral enrichments of model categories
- A model category structure on the category of simplicial categories
- Sheafifiable homotopy model categories
- Higher Topos Theory (AM-170)
- Homotopy coherent category theory