Mapping spaces in quasi-categories
From MaRDI portal
Publication:618741
DOI10.2140/agt.2011.11.263zbMath1214.55013arXiv0911.0469OpenAlexW3101063760MaRDI 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 complexmapping spaceinfinity categorysimplicial categoryDwyer-KanJoyal model structurequasi-category
Related Items (32)
The colimit of an $\infty$-local system as a twisted tensor product ⋮ Waldhausen additivity: classical and quasicategorical ⋮ Fibrations and Yoneda's lemma in an \(\infty\)-cosmos ⋮ Adams' cobar construction revisited ⋮ Comparison of models for \((\infty , n)\)-categories. I ⋮ Higher weak (co)limits, adjoint functor theorems, and higher Brown representability ⋮ Iterated spans and classical topological field theories ⋮ A homotopy coherent cellular nerve for bicategories ⋮ The six-functor formalism for rigid analytic motives ⋮ A homotopy coherent nerve for \((\infty, n)\)-categories ⋮ On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads ⋮ Categorical models for path spaces ⋮ Recognizing quasi-categorical limits and colimits in homotopy coherent nerves ⋮ What is an equivalence in a higher category? ⋮ Unnamed Item ⋮ A universal characterization of higher algebraic \(K\)-theory ⋮ Cubical rigidification, the cobar construction and the based loop space ⋮ Unnamed Item ⋮ The comprehension construction ⋮ Descent theory and mapping spaces ⋮ Univalence in locally Cartesian closed categories ⋮ Quasicategories of frames of cofibration categories ⋮ A counterexample in quasi-category theory ⋮ Comparison of Waldhausen constructions ⋮ Joyal's cylinder conjecture ⋮ Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads ⋮ A criterion for existence of right‐induced model structures ⋮ Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads ⋮ The 2-category theory of quasi-categories ⋮ Weak model categories in classical and constructive mathematics ⋮ Induced model structures for higher categories ⋮ Topological modular forms with level structure: Decompositions and duality
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
This page was built for publication: Mapping spaces in quasi-categories