The theory and practice of Reedy categories

zbMath1302.55014arXiv1304.6871MaRDI QIDQ2877676

Dominic Verity, Emily Riehl

Publication date: 25 August 2014

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

zbMATH Keywords

homotopy limits and colimitsReedy categoriesdiagrams indexed by a Reedy category

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Related Items

Weighted limits in an \((\infty, 1)\)-category, Fibrations and Yoneda's lemma in an \(\infty\)-cosmos, The Manin Hopf algebra of a Koszul Artin-Schelter regular algebra is quasi-hereditary, Equivariant dendroidal Segal spaces and \(G\)-\(\infty\)-operads, 2-Segal spaces as invertible infinity-operads, Frames in cofibration categories, A homotopy coherent cellular nerve for bicategories, Projective and Reedy model category structures for (infinitesimal) bimodules over an operad, Homotopy coherent adjunctions and the formal theory of monads, Equivariant dendroidal sets and simplicial operads, Homotopy groups of cubical sets, Two-level type theory and applications, The Duskin nerve of 2-categories in Joyal's cell category \(\Theta_2\), Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories, Recognizing quasi-categorical limits and colimits in homotopy coherent nerves, The Gray tensor product for 2-quasi-categories, The cohomology of Torelli groups is algebraic, The Frobenius condition, right properness, and uniform fibrations, Quasicategories of frames of cofibration categories, Skew-enriched categories, Joyal's cylinder conjecture, Reedy diagrams in V-model categories, The 2-category theory of quasi-categories, The effective model structure and -groupoid objects, MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS