scientific article; zbMATH DE number 5219541
From MaRDI portal
Publication:5431520
zbMath1138.55016arXivmath/0607820MaRDI QIDQ5431520
Publication date: 11 December 2007
Full work available at URL: https://arxiv.org/abs/math/0607820
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Quillen equivalencecomplete Segal spaceSegal categoryquasi-categoryhomotopy theory of homotopy theories
Related Items (89)
Integral models for spaces via the higher Frobenius ⋮ Infinity category theory from scratch ⋮ Fibrations of $\infty$-categories ⋮ An (∞,2)-categorical pasting theorem ⋮ Degeneracies in quasi-categories ⋮ Local complete Segal spaces ⋮ Monoidal algebraic model structures ⋮ Monoidal infinity category of complexes from Tannakian viewpoint ⋮ On homotopy varieties ⋮ Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory ⋮ Fibrations and Yoneda's lemma in an \(\infty\)-cosmos ⋮ A model structure on prederivators for $(\infty,1)$-categories ⋮ A homotopy theory of coherently commutative monoidal quasi-categories ⋮ Comparison of models for \((\infty , n)\)-categories. I ⋮ Iterated spans and classical topological field theories ⋮ A Thomason model structure on the category of small \(n\)-fold categories ⋮ Frames in cofibration categories ⋮ Lax colimits and free fibrations in \(\infty\)-categories ⋮ A homotopy coherent cellular nerve for bicategories ⋮ Combinatorial and accessible weak model categories ⋮ Homotopy coherent adjunctions and the formal theory of monads ⋮ Cubical models of higher categories without connections ⋮ A Quillen adjunction between globular and complicial approaches to \((\infty, n)\)-categories ⋮ A perfect pairing for monoidal adjunctions ⋮ Bousfield localisations along Quillen bifunctors ⋮ Enhanced bivariant homology theory attached to six functor formalism ⋮ Simplicial model structures on pro-categories ⋮ Equivariant dendroidal sets and simplicial operads ⋮ Model structures on finite total orders ⋮ Parametrized higher category theory ⋮ A homotopy coherent nerve for \((\infty, n)\)-categories ⋮ On the equivalence of all models for (∞,2)$(\infty,2)$‐categories ⋮ Categories of graphs for operadic structures ⋮ \(\infty\)-operads as symmetric monoidal \(\infty\)-categories ⋮ On the ∞$\infty$‐topos semantics of homotopy type theory ⋮ The Duskin nerve of 2-categories in Joyal's cell category \(\Theta_2\) ⋮ Rings and modules in Kan spectra ⋮ Yoneda lemma for simplicial spaces ⋮ On rectification and enrichment of infinity properads ⋮ Towards a constructive simplicial model of Univalent Foundations ⋮ Two-variable fibrations, factorisation systems and -categories of spans ⋮ Unnamed Item ⋮ Lifting recollements of abelian categories and model structures ⋮ A universal characterization of higher algebraic \(K\)-theory ⋮ EQUIVALENCE OF MODELS FOR EQUIVARIANT (∞, 1)-CATEGORIES ⋮ The Gray tensor product for 2-quasi-categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On an extension of the notion of Reedy category ⋮ A type theory for synthetic $\infty$-categories ⋮ Descent theory and mapping spaces ⋮ Relative categories: another model for the homotopy theory of homotopy theories ⋮ Nerves of 2-categories and 2-categorification of \(( \infty ,2)\)-categories ⋮ A stratified homotopy hypothesis ⋮ On the unicity of the theory of higher categories ⋮ (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories ⋮ Motivic homotopical Galois extensions ⋮ Homotopy fiber products of homotopy theories ⋮ On the Grothendieck construction for \(\infty\)-categories ⋮ Stability for inner fibrations revisited ⋮ Fundamental pushouts of n-complicial sets ⋮ A characterization of fibrant Segal categories ⋮ Quasicategories of frames of cofibration categories ⋮ A Cartesian presentation of weak \(n\)-categories ⋮ Complete Segal spaces arising from simplicial categories ⋮ A model structure via orbit spaces for equivariant homotopy ⋮ Segal objects and the Grothendieck construction ⋮ On the algebraicK-theory of higher categories ⋮ Enriched \(\infty \)-operads ⋮ Filter quotients and non-presentable \((\infty,1)\)-toposes ⋮ Model structures on the category of small double categories ⋮ Inner horns for 2-quasi-categories ⋮ Joyal's cylinder conjecture ⋮ Möbius functions of directed restriction species and free operads, via the generalised Rota formula ⋮ Quasi-categories vs. Segal spaces: Cartesian edition ⋮ Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads ⋮ A criterion for existence of right‐induced model structures ⋮ A Survey of (∞, 1)-Categories ⋮ Flagged higher categories ⋮ The unit of the total décalage adjunction ⋮ Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads ⋮ Univalence and completeness of Segal objects ⋮ The 2-category theory of quasi-categories ⋮ The effective model structure and -groupoid objects ⋮ Weak model categories in classical and constructive mathematics ⋮ Induced model structures for higher categories
This page was built for publication:
