scientific article
From MaRDI portal
zbMath1111.18008MaRDI QIDQ3424496
Publication date: 19 February 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonabelian homological algebra (category-theoretic aspects) (18G50) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Research exposition (monographs, survey articles) pertaining to algebraic topology (55-02)
Related Items
A Quillen's Theorem A for strict $\infty$-categories II: the $\infty$-categorical proof, The theory of half derivators, Weakly globular \(\text{cat}^n\)-groups and Tamsamani's model, Homotopy theory of algebras of substitudes and their localisation, Simplicial sets inside cubical sets, A Thomason model structure on the category of small \(n\)-fold categories, Unnamed Item, Polynomial monads and delooping of mapping spaces, A homotopy coherent cellular nerve for bicategories, Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids, Toward weakly enriched categories: co-Segal categories, Combinatorial and accessible weak model categories, Cubical models of higher categories without connections, Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces, On bifibrations of model categories, Higher order derived functors and the Adams spectral sequence, Quasi-2-Segal sets, On the equivalence of all models for (∞,2)$(\infty,2)$‐categories, Joyal's category \(\varTheta\) is a test category, Homotopy groups of cubical sets, The successive dimension, without elegance, Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories, The uniform homotopy category, Unnamed Item, Left Bousfield localization without left properness, Tilting theory for trees via stable homotopy theory, A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof, Unnamed Item, An operadic proof of Baez-Dolan stabilization hypothesis, Erratum to “Left-determined model categories and universal homotopy theories”, Unnamed Item, Unnamed Item, Mathematical models of abstract systems: knowing abstract geometric forms, Variations on a theme of homotopy, Towards a Thomason model structure on the category of strict \(n\)-categories, Cubical $(\omega,p)$-categories, A simplicial approach to stratified homotopy theory, Dendroidal sets, Homotopy colimits of 2-functors, Brane actions, categorifications of Gromov-Witten theory and quantum \(K\)-theory, Equivariant dendroidal sets, Extending to a model structure is not a first-order property, Symmetric cubical sets, The Frobenius condition, right properness, and uniform fibrations, Localization of enriched categories and cubical sets, Cubical model categories and quasi-categories, Catégories dérivables, Model structures for coalgebras, \(C^\ast\)-algebraic drawings of dendroidal sets, Double homotopy (co)limits for relative categories, Combinatorial topology and constructive mathematics, Semantics of higher inductive types, Higher symmetries in abstract stable homotopy theories, Joyal's cylinder conjecture, On inner Kan complexes in the category of dendroidal sets, A Quillen Theorem B for strict ∞‐categories, The dendroidal category is a test category, Towards a globular path object for weak \(\infty\)-groupoids, A co-reflection of cubical sets into simplicial sets with applications to model structures, Comparison of \(n\)-categorical nerves, Induced model structures for higher categories, Cubical approximation for directed topology. I, Syntax and models of Cartesian cubical type theory